Conjuntos numéricos, par ordenado e produto cartesiano