Relações

Relações

1. Equivalência

   • Reflexiva
     • ∀ a ∈ A; aRa
   • Simétrica
     • ∀ a,b ∈ A; sempre que aRb então teremos bRa
   • Transitiva
     • ∀ a,b,c ∈ A; sempre que aRa e bRc então teremos aRc

2. Ordem Parcial

   • Reflexiva
     • ∀ a ∈ A; aRa
   • Transitiva
     • ∀ a,b,c ∈ A; sempre que aRa e bRc então teremos aRc
   • Antissimétrica
     • se sempre que aRb e bRa isso implicar que a=b, ∀ a,b ∈ A

3. Ordem Total

   • Ser de Ordem Parcial
     • se aRb ou bRa, para todo a,b ∈ A