Definiremos cada complejo como un par ordenado de números reales ("a", "b") ó ("Re(z)", "Im(z)"), que verifican las siguientes propiedades: