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