Vitajte na [www.pocitac.win] Pripojiť k domovskej stránke Obľúbené stránky
 typ jednotky je ADT , ktorá má presne jednu možnú hodnotu . ADT má len hodnotu 1 , a to je primitívny typ jednotky . Symbolom tohto ADT je tiež číslo 1. 
 Prevádzka Katalóg 
 
 operácie produkt vyvoláva predstavu o produkte jedného dátového typu " A " a prvok dátového typu " B " tak , že súbor dát obsahuje prvok každej z nich . Symbol pre prevádzku výrobku je kruh s " X " v centre mesta , ktorá vyzerá ako násobenie znamenie . 
 Súčet operácie 
 
 symbol pre súčet operácie sa zobrazí ako kruh so znamienkom plus uprostred . Podobne ako u operácií produktov , predstavuje súčet dvoch dátových typov " A " a " B " s každým typom dát zastúpené v nových údajov uvedených 
 Typ Funkcia : . = A :: = 
 celým 
 typu funkcie sú štvrtý a piaty typ algebraické dátové typy . Tie umožňujú užívateľovi vytvárať opakovane použiteľné typy . Typ funkcie sa symbolom " :: = " znamená , že riešenie sa musí rovnať k sebe a nie sú k dispozícii žiadne ďalšie možnosti . Avšak , symbol " : = " znamená , že riešenie je rovnaká , ale nie je jedinou možnosť 
 .