RELACIÓN REFLEXIVA: Toda relación que sea reflexiva debe tener al menos n flechas (suponiendo que n es el numero de elementos de A): deben estar todas las parejas (a,a) donde a barre todos los elementos de A

RELACIÓN SIMÉTRICA: Una relación binaria R sobre un conjunto A. es simétrica cuando se da que si un elemento esta relacionado con otro mediante R, entonces ese otro también esta relacionado con el a través de la misma R. Es lo mismo tener (a,b) que tener (b,a).

Relación antisimétrica: Cuando una relación es opuesta a una simetría es decir, cuando se da que un elemento esta relacionado con otro mediante R, entonces ese otro no esta relacionado con el primero, entonces decimos que es antisimetrico.

Relación transitiva: Cuando se cumple siempre que un elemento se relacione con otro y este ultimo con un tercero, entonces el primero se relaciona con el tercero.

Relación de equivalencia: Sea A un conjunto, una relacion binaria en A es un subconjunto R de AxA es de equivalencia si verificamos que el conjunto R es reflexiva, simétrica y transitiva

Relación de orden parcial: Sean A un conjunto y R una relación, se dice que R es una relación de orden parcial, si R es reflexiva, antisimetrica y transitiva.