Vastavus: Vastavus on ühe hulga elementide seotus teise hulga elementidega. Lähtehulk on hulk, mis on seotud teise hulgaga. Sihthulk on hulk, millega on teine hulk seotud. Määramispiirkond on lähtehulga elemendid ja muutumispiirkond sihthulga 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.
lähtehulga A elemente. Vastavuste 𝜑1 : 𝐴 → 𝐵 ja 𝜑1 : 𝐵 → 𝐶 kompositsioon ehk liitvastavus 𝜑1 ∗ 𝜑2 on vastavus, mis seab hulga A elementidele vastavaks hulga C elemente „üle hulga B elementide“. 𝜑1 ∗ 𝜑2 = {< 𝑎, 𝑐 >∈ 𝐴𝑥𝐶 | ∃𝑏 ∈ 𝐵(< 𝑎, 𝑏 >∈ 𝜑1 ∧ < 𝑏, 𝑐 >∈ 𝜑2 )} ⊂ 𝐴𝑥𝐶 = {< 𝑎, 𝑦 > < 𝑎, 𝑧 > < 𝑑, 𝑝 >} . Kompositsioonitehet nim ka vastavuse korrutamiseks. Vastavuse kompositsioon on assotsiatiivne: (𝜑1 ∗ 𝜑2 ) ∗ 𝜑3 = 𝜑1 ∗ (𝜑2 ∗ 𝜑3 ). Kompositsiooni pöördvastavus on pöördvastavuste kompositsioon: (𝜑1 ∗ 𝜑2 )−1 = 𝜑2 −1 ∗ 𝜑1 −1 Vastavuste liigid : Vastavus 𝜑 ⊂ 𝐴𝑥𝐵 on kõikjal määratud, kui D(𝜑)=A Vastavus 𝜑 ⊂ 𝐴𝑥𝐵 on kõikjale määratud, kui R(𝜑)=B
Määramispiirkonna moodustavad vastavuses osalevad lähtehulga elemendid. 6. Mis on vastavuse muutumispiirkond? Muutumispiirkonna moodustavad vastavuses osalevad sihthulga elemendid. 7. Mis on vastavuse täiend? Vastavuse täiendi moodustavad järjestatud paarid, mis ei kuulu vastavusse. 8. Mis on vastavuse pöördvastavus? Vastavuse pöördvastavus seab sihthulga elementidele vastavaks lähtehulga elemente. 9. Millist tehet saab vastavustega teha? Vastavustega saab teha kompositsioonitehet ehk vastavuste korrutamist. 10. Milline vastavus on kõikjal määratud? Kõikjal määratud vastavuses osalevad kõik lähtehulga elemendid. 11. Milline vastavus on kõikjale määratud?Kõikjale määratud vastavuses osalevad kõik sihthulga elemendid. 12. Milline vastavus on ühene? Vastavus on ühene, kui igale määramispiirkonna elemendile vastav täpselt üks muutumispiirkonna element. 13. Milline vastavus on üks-ühene
2 d 1 Kompositsioonitehet nimetatakse ka vastavuste korrutamiseks. e 0 Vastavuste kompositsioon on assotsiatiivne: (ϕ1 • ϕ2 ) • ϕ3 = ϕ1 • (ϕ2 • ϕ3 ) KÕIKJALE määratud vastavus Kompositsiooni pöördvastavus on pöördvastavuste kompositsioon: Vastavus ϕ ⊂ A × B on ühene , kui igale määramispiirkonna