O que é o domínio de um atributo no modelo relacional formal?

Resposta

O domínio é um conjunto de valores atômicos, indivisíveis.

Explicação:
Cada tupla associa a cada atributo exatamente um valor desse domínio.
Essa atomicidade evita multivalores e estruturas aninhadas e fundamenta a 1ª forma normal.