Un tipo definido en el ámbito de otro tipo. Un tipo anidado se utiliza normalmente para encapsular los detalles de implementación del tipo de alto nivel.