Определение. Множества a и b называются равномощными, если их элементы можно поставить во взаимно однозначное соответствие

Множества A и B называются равномощными, если их элементы можно поставить во взаимно однозначное соответствие.

То есть можно определить такое множество пар (a, b), первая компонента которых принадлежит A, а вторая компонента принадлежит B. При этом для каждого a A существует одна пара, первая компонента которой равна a. Аналогично, для каждого элемента b B существует одна пара, вторая компонента которой равна b.