reflexiva
Transitiva
a € A, a R a
Antisimétrica en sentido estricto
a, b € A, a ⌠R b →⌠a
Simétrica
a, b € A, a R b → b R a
Antisimétrica en sentido amplio
a € A, a ⌠R a
A, b, c € A, (a R b y b R c) → a R c
anti reflexiva
a, b € A (a R b y b R a) → a=b