En type defineret inden for rammerne af en anden type. En indlejret type bruges typisk til indkapsling gennemførelse detaljer af typen på øverste niveau.