上への写像かつ一対一写像である写像は、値域と終域が一致し、関係として左と右を入れ替えると一価律が成り立つ。