Para establecer el invariante debemos responder a las dos preguntas: ¿Cómo es la estuctura del TDA?. ¿Cuál es el conjunto de valores válidos?. La respuesta a la primera pregunta es: El TDA Complejo contiene dos partes: la real y la imaginaria. Y las repuesta a la segunda se puede expresar en terminos del conjunto de valores válidos de cada una de las partes del TDA, o sea: la primera parte de un Complejo es un número que pertenece al conjunto de los números reales y las segunda es un número imaginario. Formalmente se expresaría:
Y este sería el invariante swl TDA Complejo. Esto quiere decir que un Número
Complejo (que llamamos 
) es
una tupla, es decir, una pareja ordenada, cuyo primer componente es la parte
y que pertenece al conjunto de los números
reales; y el segundo componente es la parte 
que pertenece al conjunto de la números imaginarios (los
que son mútiplos de 
).
