Typ definované v rámci jiného typu. Vnořený typ se obvykle používá pro zapouzdření podrobnosti implementace typu nejvyšší úrovně.