Eine Teilmenge eines Datentyps, gewonnen durch die Menge der möglichen Werte des Datentyps einschränken. Hinweis: die Vorgänge auf den Untertyp anwendbar sind identisch mit denen des ursprünglichen Datentyps.