Бинарно отношение называется рефлексивным,если оно содержит все пары с совпад. с компонентами.
Симметричными,если (a,b)€P ⇒(b,a)€P;
Транзитивным ,если (a,b)€P ^ (b,c)€P ⇒(a;c)€P
Называется отношением эквивалентности,если оно одновременно рефлексивно, симметрично и транзитивно.