A type defined within the scope of another type. A nested type is typically used for encapsulating implementation details of the top-level type.