Estos dos hechos muestran, respectivamente, que la relación formula_44 es antisimétrica y transitiva (véase más adelante relaciones).