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

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

якщо

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

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