Et delsett av en datatype, oppnås ved å sette en betingelse på settet med mulige verdier av datatype. Merk: operasjoner gjelder undertypen er de samme som de av den opprinnelige datatypen.