для довільного  – 

воно виконується лише для об’єктів, які не співпадають між собою, тобто з випливає, що

для всіх х і у, для яких виконується , виконується також ()

якщо

вирази і справедливі одночасно лише тоді, коли