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.