Por el apartado 1 de la definición anterior, tenemos formula_10 y por tanto formula_11, así que formula_5 es reflexiva; si formula_13, entonces formula_14, luego formula_15 y formula_5 es simétrica; si formula_13 y formula_18 entonces formula_19 con formula_20, luego formula_21 y formula_22 implica formula_23 y con esto formula_5 es transitiva.