Relações

Relações

1. Equivalência

   • Se ela for:
     • Reflexiva, simétrica e transitiva

2. Ordem parcial

   • Se ela for:
     • Reflexiva, antissimétrica e transitiva

3. Ordem total

   • Se para todo a e b pertencente a A. temos que aRb ou bRa

4. Propriedades

   • Reflexiva
     • Se para todo a pertencente a A, temos que aRa é válida
   • Simétrica
     • Se para todo a e b pertencente a A, temos que se aRb é válida, então bRa também é válida
   • Transitiva
     • Se para todo a, b e c pertencente a A, temos que se aRb e bRc são válidas, então aRc é válida
   • Antisimétrica
     • Se para todo a e b pertencente a A, se aRb e bRa são validas, então a=b