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

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

якщо

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

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