Diskreetne matemaatika eksami kordamise materjal
elemendid.
Vastavuse täiend on paarid, mis ei ole vastavuses.
Pöördvastavus on sihthulgast lähtehulka vastavus.
Vastavusega saab teha kompositsioonitehet ehk korrutamist.
Kõikjal – kõik lähtehulga elemendid on seotud.
Kõikjale – kõik sihthulga elemendid on seotud.
Ühene – lähtehulga elemendid on seotud ühe sihthulga elemendiga.
Üks-ühene – üks lähtehulk on seotud ainult ühe sihthulgaga.
Funktsioon on kõikjal määratud ühene vastavus.
Funktsioon on osaliselt määratud, kui on mitte kõik lähtehulga elemendid
on seotud.
Sürjektsioon on kõikjale määratud funktsioon.
Injektsioon on üks-ühene määratud funktsioon.
Bijektsioon on kõikjale üks-ühene funktsioon.
Binaarne relatsioon on vastavuse erijuht, kus lähethulk ja sihthulk on sama
hulk.