Pada himpunan berukuran sama, satu tabrakan memaksa satu unsur kodomain hilang, dan satu unsur hilang memaksa satu tabrakan.