Взаимно однозначное отображение множества, при котором образ совпадает с прообразом