Asumiendo que el orden es irreflexivo y transitivo, esto puede ser simplificado a