En lugar de ello, el dominio se toma como el conjunto de las parejas ("a", "a"), con primera componente en "A" y segunda componente en "A".