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

Утверждение (о взаимно однозначном соответствии равномощных множеств):Если между конечными множествами А и В существует взаимно однозначное соответствие, то .

Этот факт:

1) позволяет установить равенство мощностей двух множеств, не вычисляя мощностей этих множеств;

2) дает возможность вычислить мощность множества, установив его взаимно однозначное соответствие с множеством, мощность которого известна или легко вычисляется.