En delmängd av en datatyp, erhålls genom att begränsa uppsättningen möjliga värden för datatypen. Anmärkning: åtgärderna som är tillämpliga på subtyp är desamma som för den ursprungliga datatypen.