Zbiór obiektów, dla których klasa abstrakcji relacji nierozróżnialności ze względu na zbiór atrybutów E jest zawarta w zbiorze Z. 

Zbiór obiektów, dla których klasa abstrakcji relacji nierozróżnialności ze względu na zbiór atrybutów E ma niepuste przecięcie ze zbiorem Z.