konstrukcja, która ułatwia rozumowania dotyczące składni wyrażeń logicznych.

w analizie funkcjonalnej, operator normalny którego złożenie z jego operatorem sprzężonym jest identycznością.

relacja, która jest niezmienna i zależna tylko od zawartości wypowiedzi i „zawartości” rzeczywistości.