а∈A, А⊆B → а∈B (изненадваща принадлежност)
Пример с афоризъм от Петър Кривенчев: Лудост е да си нормален там, където е нормално да си ненормален.
g ∘ f = f ∘ g (комутативност)
Пример с афоризъм от Петър Краевски: Цената на реформите е реформата на цените.
a∈A, А⊂B → ∃b:b∈B, b∉A (изненадваща непринадлежност)
Пример с афоризъм от Турхан Расиев: Всички хора са братя, но не всички братя са хора.