Закон рефлексивности

 Для любого a ∈ A  a θ a.


» Терминология