Język nakłada istotne ograniczenia: typ bazowy musi być typem porządkowym liczba elementów nie może przekroczyć 256 (co wynika ze sposobu reprezentacji typu porządkowego w pamięci komputera omówionej dalej) liczby porządkowe typu bazowego muszą należeć do przedziału od 0 do 255 (wyklucza to więc np. typ integer jako typ bazowy, natomiast dopuszczalne są Byte, Char, typ okrojony, typ wyliczeniowy). Definicja typu zbiorowego ma postać: type identyfikator_typu=set of typ_bazowy; W Pascalu typ zbiorowy jest reprezentowany w pamięci jako tablica bitów. Bit na odpowiedniej pozycji, w porównaniu do typu bazowego, oznacza w zależności od wartości tego bitu czy dany element należy do zbioru (bit ustawiony na 1), czy nie (bit ustawiony na 0). Za pracą 1) (część I.C, str.