Закон симметричности

Для любых a, b ∈ A если aθb, то bθa.

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