для довільних , таких що , виконується або

виконується для всіх пар

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

воно не виконується ні для одної пари

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