A = {1,2,3,4}

= Para todo...
Reflexiva/Irreflexiva: Se (a,a) R, a A / irreflexiva se a A , (a,a) R
R = {(1,1),(1,2),(1,3)} => No reflexiva, nem irreflexiva.
Simtrica: Sempre que (a,b) R, teremos (b,a) R, a, b A / (a a)(b A)(aRb bRa)
= {(1,1),(1,2),(1,3),(2,1),(3,1),(3,3)}
Anti-simtrica: Se (a,b) e (b,a) R, ento a = b / (a A)(b A)((aRb bRa) a = b)
R = {(1,1),(1,2),(1,3)}
Assimtrica: Se (a,b) R, ento (b,a) R, a,b A
R = {(1,2),(1,3),(1,4),(4,2)} => Se assimtrica, tambm anti-simtrica
Transitiva: Se (a,b,c) A e aRb e bRc, ento aRc / (a A)(b A)(c A)((aRb bRc) aRc)
Equivalncia: e toda relao binria em um conjunto A que , simultaneamente, reflexiva,
simtrica e transitiva.