locally realized covering relation