Digite seu texto aqui

Digite seu texto aqui

1. Definição: seja R uma relação binária em A.

   • Reflexiva se para todo a ∈ A, tem-se (a,a) ∈ R.
     • Simétrica se a,b ∈ A, são tais que (a,b) ∈ R, então, também tem-se (b,a) ∈ R.
       • Transitiva se a,b,c ∈ A, são tais que (a,b) ∈ R e (b,c) ∈ R, então, também se tem (a,c) ∈ R.
         • Irreflexiva se (x,x) ∉ R para todo x ∈ A.
           • Antissimétrica se xRy e yRx juntos implicarem que x=y, para todo x, y ∈ A.

2. Equivalência se ela for ao mesmo tempo ...

   • reflexiva
   • simétrica
   • transitiva

3. Ordem Parcial se satisfaz às três seguintes consições

   • R é reflexiva
   • R é antissimétrica
   • R é transitiva

4. Ordem Total

   • Dizemos que é uma relação de oredem total sobre A se aRb ou bRa, para todo a, b ∈ A ( lei da dicotomia).