Diskreetse matemaatika elemendid
(x, z) ∈ R ◦ S ja (z,w) ∈ T, viimane aga samal põhjusel tingimusega leiduvad z ∈ Z ning
y ∈ Y , et (x, y) ∈ R, (y, z) ∈ S ja (z,w) ∈ T . Siin võime kombineerida kaks viimast
elemendipaari kompositsiooni definitsiooni abil ja kirjutada tingimuse kujul leidub y ∈ Y
, et (x, y) ∈ R ja (y,w) ∈ S ◦ T , see aga tähendabki, et (x,w) ∈ R◦(S ◦T ). Et kõik
teisendussammud säilitavad samaväärsuse, siis on vaadeldavad kaks sisalduvust tõesti
teineteisega samaväärsed.
29. Kompositsiooni pöördrelatsioon (tõestusega).
Kompositsiooni seosed ühendi ja ühisosaga (**tõestused).
[2]
Kompositsiooni pöördrelatsioon
o Teoreem 3. Suvaliste relatsioonide R ⊆ X × Y ja S ⊆ Y × Z korral (R ◦ S)−1 = S−1 ◦
R−1.
o Tõestus. Analoogiliselt eelnevate tõestustega saame samaväärsete tingimuste ahela:
annaabi.ee 
