El conjunto que consiste de los elementos que pueden reemplazar a la variable de una proposición abierta, lo llamaremos el Dominio de la variable.