Взаимно однозначные соответствия

Взаимно однозначным соответствием между множествами X и Y называется такое соответствие, при котором каждому элементу множества X сопоставляется единственный элемент множеству Y и каждый элемент множества Y соответствует только одному элементу множества X.

Множества X и Y называются равномощными, если между элементами можно установить взаимно однозначное соответствие.

Равномощные могут быть конечные и бесконечные множества.

Равномощыми конечные множества называют еще равночисленными. (5=5,5>3,5<7)

Бесконечные множества называют СЧЕТНЫМИ