Typ zdefiniowany w zakres innego typu. Typu zagnieżdżonego jest zazwyczaj używany do enkapsulacji szczegóły dotyczące implementacji typu najwyższego poziomu.