a) fungsi F memetakan himpunan X ke dalam himpunan Y,dikatakan satu-satu jika
dan hanya jika (jika) untuk setiap variabel a, dimana variabel b adalah elemen dari himpunan A, yang di kelompokkan dalam himpunan dimana variabel a tidak sama dengan variabel b sehingga fungsi dari variabel (a) tidak sama dengan fungsi dari variabel (b) Atau Untuk setiap variabel a,dimana variabel b adalah elemen dari himpunan A,yang di kelompokkan dalam himpunan dari fungsi variabel (a) yang sama dengan fungsi dari variabel (b) sehingga variabel a sama dengan variabel b.
b) fungsi F memetakan himpunan X ke dalam himpunan Y ,dikatakan pada jika dan
hanya jika (jikka) untuk setiap variabel b yang merupakan elemen dari himpunan B,terdapat sedikitnya variabel a yang merupakan elemen dari himpunan A sehingga variabel b sama dengan fungsi dari variabel (a).