Pärisalamhulk

Hulk A on hulga B pärisalamhulk parajasti siis, kui  hulk A on hulga B alamhulk, mis ei ühti hulgaga B.  Samaväärselt võib öelda, et hulk B on hulga A pärisülemhulk.

Tähistus 

Asjaolu, et hulk A on hulga B pärisalamhulk (pärisülemhulk), tähistatakse 
.

Mõned on viimase tähistuse alamhulkade jaoks reserveerinud. Kui on võimalus, et viimane tähistus tekitab kahetimõistmist, kasutatakse
,
rõhutades nii pärisalamhulkade (pärisülemhulkade) omadust A ≠ B.

Vaata ka 

 Alamhulk

Viited 

Hulgateooria