Un par ordenado no es el conjunto que contiene a y , denotado por .