Равенство множеств (как и равенство чисел) удовлетворяет следующим свойствам:

1) рефлексивность: для всякого множества А А = А.
2) транзитивность: для любых множеств А,В,С, если А = В и В = С, то и А = С.
3) симметричность: для любых двух множеств А и В, если А = В, то В = А.