Установлено ли взаимно однозначное соответствие между множествами