Un par no ordenado es un conjunto de la forma formula_13, de manera que formula_14.