A subtype is a special type included in a more general type, or a type that is a subdivision of a broader type.