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

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

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

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