を満たすので "dfx" は各点で全単射だが "f" は可逆でない、なぜなら単射でないからだ、例えば "f"(1,0)＝(1,0)＝ "f"(-1,0)。