Релация: Разлика между версии

Изтрито е съдържание Добавено е съдържание
Ред 21:
=== Видове ===
 
* рефлексивна - ако ∀a∈A (aRaa, а)∈R
* антирефлексивна - ако ∀a∈A (a, а) ∉ R
* симетрична - ако ∀a,b ∈ Ab∈A (aRba, b)∈RbRa(b, а)∈R
* антисиметрична - ако ∀a,bb∈A (a, Ab)∈R, (aRbb, и bRaа)∈R ⇒ a=b)
* силно антисиметрична - ако ∀a,bb∈A (a, Ab)∈R (aRb или(b, bRaа)∉R
* транзитивна - ако ∀a,b,cc∈A ((a, Ab)∈R, (aRbb, и bRcc)∈RaRc(a, c)∈R)
 
'''Примери''': R ⊆ ℝxℝ
* aRb ⇔ a < b (антирефлексивна, силно антисиметрична, транзитивна)
* aRb ⇔ a < b
* aRb ⇔ ''a'' е кратно на ''b'' (рефлексивна, антисиметрична, транзитивна)
 
 
=== Релация на еквивалентност ===