pöördvastavus, kompostitsioon. Omadused 1. refleksiivsus (𝛼1 ): ∀𝑎 ∈ 𝑀(< 𝑎, 𝑎 >∈ 𝑅) – binaarne suhe on refleksiivne, kui alushulga iga element on relatsioonis iseendaga. 2. antirefleksiivsus (𝛼2 ): ∀𝑎 ∈ 𝑀(< 𝑎, 𝑎 >∉ 𝑅) – binaarne suhe on antirefleksiivne, kui alushulga ükski element pole relatsioonis iseendaga. Kui relatsioon pole ei refleksiivne ega antirefleksiivne, siis nim teda mitterefleksiivseks. 3. sümmeetria (𝛼3 ): ∀𝑎, 𝑏 ∈ 𝑀[(𝑎 ≠ 𝑏) ∧ < 𝑎, 𝑏 >∈ 𝑅 →< 𝑏, 𝑎 >∈ 𝑅] Kui R on sümm, siis 𝑅 −1 = 𝑅 4. antisümmeetria (𝛼4 ): ∀𝑎, 𝑏 ∈ 𝑀[(𝑎 ≠ 𝑏) ∧ < 𝑎, 𝑏 >∈ 𝑅 →< 𝑏, 𝑎 >∉ 𝑅] Kui R on antisümm, siis 𝑅 ∩ 𝑅 −1 ⊂ 𝐸 Kui relatsioon pole ei sümmeetriline ega antisümm, siis nim teda mittesümmeetriliseks. 5
antirefleksiivne binaarsuhe Kui relatsioon pole ei sümmeetriline ega antisümmeetriline, siis nimetatakse teda mittesümmeetriliseks. Kui relatsioon pole ei refleksiivne ega antirefleksiivne, siis nimetatakse teda mitterefleksiivseks. 5. transitiivsus ( α5 ) : Relatsiooni R kaugus d omaduseni αi : d (R , αi ) on järjestatud ∀a,,b,,c∈ ∈M [(a ≠ b) ∧ (b ≠ c) ∧ (a ≠ c) ∧ (a R b) ∧ (b R c) → (a R c)] paaride arv, mis tuleb relatsiooni lisada või sellest eemaldada , et omadus
annaabi.ee 
