Можно ли сказать, что если а=в, то а~в (где ~эквивалентность)

тогда и только тогда, когда существует биекция между  и . Выберем в виде биекции тождественно преобразование  Каждый элемент  множества  переходит в  и при этом