Bijektsioon on kõikjale üks-ühene funktsioon. Binaarne relatsioon on vastavuse erijuht, kus lähethulk ja sihthulk on sama hulk. Binaarsuhte alushulk on hulk, mille relatsioon on määratud. Relatsioonikriteerium on binaarsuhet moodustav reegel. Relatsiooni saab esitada järjestatud paaride hulgana, naarbusmaatriksiga, graafina. Relatsiooni omadused, refkelsiivne, antiref, sümmeetriline, antisüm, transitiivne, antitrans. Transitiivne sulund on kaarte hulk + kaared, et teha relatsioon transitiivseks. Tükeldused: Ekvivalentsisuhe on relatsioon kus kehtib ref, süm ja trans. Ekvivalentsiklassid on suhted, mispole omavahel seotud. Tükeldus koosneb klassidest. Tükelduse omadused: ükski plokk pole tühi hulk, plokid ei oma ühisosa, plokkide ühend on hulk ise. Osaline järjestussuhe:
𝑅 ∩ 𝑅 −1 ⊂ 𝐸 Kui relatsioon pole ei sümmeetriline ega antisümm, siis nim teda mittesümmeetriliseks. 5. transitiivsus (𝛼5 ): ∀𝑎, 𝑏, 𝑐 ∈ 𝑀[(𝑎𝑅𝑏) ∧ (𝑏𝑅𝑐) → (𝑎𝑅𝑐)] Kui R on transitiivne, siis 𝑅 ∗ 𝑅 ⊂ 𝑅 6. antitransitiivsus (𝛼6 ): ∀𝑎, 𝑏, 𝑐 ∈ 𝑀[(𝑎𝑅𝑏) ∧ (𝑏𝑅𝑐) → (𝑎𝑅̅ 𝑐)] Kui relatsioon pole trans ega antitrans, siis nim teda mittetransitiivseks. Kõik 3 omadust ja nende 3 vastandomadust on vastastikku teineteist välistavad: ühe omaduse kehtimine välistab ta antiomaduse kehtimise. Omaduse mittekehtimine ei tähenda ta vastandomaduse kehtimist. OK TÜKELDUSED Binaarsuhet ehk relatsiooni nim ekvivalentsisuhteks, kui ta on refleksiivne, summ. või transitiivne. Ekvivalentsisuhe määrab oma ühe alushulga ühe tükelduse. Hulga tükeldus on selle hulga
annaabi.ee 
