⊐

надмножество

⊒

надмножество или равно

⊑

подмножество или равно

⇔

тогда и только тогда/эквивалентность

⇐

если

⊃

материальная импликация

⊂

строгое включение

⊆

включение

∧

конъюнкция/логическое И

≡

эквивалентность

∨

дизъюнкция/логическое ИЛИ

≜

определено как