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. 

Macierz rozróżnialności M(A) jest wymiaru: |A| × |A|

Dla macierzy rozróżnialności  prawdziwe jest, że  

Komórka M(A)[i, j]

macierzy

rozróżnialności to zbiór atrybutów, dla których i-ty obiekt oraz j-ty obiekt z

uniwersum mają różne wartości.

Do jądra zaliczamy atrybuty, które występują w komórkach macierzy

rozróżnialności pojedynczo.

Reduktem jest podzbiór obiektów, który ma niepuste przecięcie z każdą

niepustą komórką macierzy rozróżnialności.

Dla wszystkich par obiektów w tablicy spełnione jest, że jeśli obiekty mają te same atrybuty to mają te same decyzje.

Dla wszystkich par obiektów w tablicy spełnione jest, że jeśli obiekty mają różne wartości na atrybutach warunkowych to mają te same wartości na atrybutach decyzyjnych.

Dla wszystkich par obiektów w tablicy spełnione jest, że jeśli obiekty mają te same atrybuty to mają różne decyzje.

W metodzie jakościowej usuwania niespójności w tablicach decyzyjnych, wykorzystującej

dokładność dolnego przybliżenia, liczony jest współczynnik

dla klas decyzyjnych, którego wartości jest równa liczbie obiektów należących

do C-dolnego przybliżenia klasy decyzyjnej przez liczbę obiektów w uniwersum,

gdzie C jest zbiorem atrybutów warunkowych w tablicy decyzyjnej.

Metoda ilościowa

usuwania

niespójności w tablicach decyzyjnych zawsze jest rozstrzygająca.

Metoda jakościowa usuwania

niespójności w tablicach decyzyjnych nie zawsze jest rozstrzygająca.

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.