Por convención, el dominio de discurso es siempre un conjunto no vacío.