Estrictamente hablando, es un nombre que representa una entidad lógica y que puede estar formado por otros dominios formando un árbol o estructura jerárquica.