Una relación de orden formula_2 sobre un conjunto formula_1 puede denotarse con el par ordenado formula_13.