Vastavuse 𝜑: 𝐴 → 𝐵 muutumispiirkonna R(𝝋) moodustavad vastavuses osalevad sihthulga elemendid. Vastavuse 𝜑: 𝐴 → 𝐵 täiendi 𝝋 ̅ moodustavad järjestatud paarid < 𝑎, 𝑏 > ∈ 𝐴𝑥𝐵, mis ei kuulu vastavusse 𝜑. Vastavuse 𝜑: 𝐴 → 𝐵 pöördvastavus 𝝋−𝟏 seab sihthulga B elementidele vastavaks 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 )
ϕ-1 = {
annaabi.ee 
