Propiedades de las Relaciones Binarias

Propiedad reflexiva:
hay que llegar a demostrar que x·R·x

Propiedad simétrica:
se debe de demostrar que si x·R·y, entonces y·R·x también

Propiedad antisimétrica:
Si x·R·y, para que y·R·x, necesito x = y

Propiedad transitiva:
x, y, z A debemos demostrar que:
si x·R·y e y·R·z -> xRz