Supongamos que formula_17 es una relación de orden en un conjunto