La propiedad característica que define un par ordenado es la condición para que dos de ellos sean idénticos: