¿Qué es?
Es todo el conjunto de objetos que pueden sustituir a la variable de un Predicado. Sobre esto hay que tener claro los siguientes aspectos:
- Todo dominio se supone no vacío.
- Los predicados no pueden ser elementos de ningún dominio. Así pues, ninguna variable puede ser sustituida por ningún predicado.