Um tipo definido no âmbito de outro tipo. Um tipo aninhado é normalmente usado para encapsular os detalhes da implementação do tipo de nível superior.