Pärisalamhulk

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

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

${\displaystyle A\subseteq B\ \ \ \left(A\supset B\right)}$.

Mõned on viimase tähistuse alamhulkade jaoks reserveerinud. Kui on võimalus, et viimane tähistus tekitab kahetimõistmist, kasutatakse

${\displaystyle A\subseteq B\ \ \ \left(A\supset B\right)}$,

rõhutades nii pärisalamhulkade (pärisülemhulkade) omadust A ≠ B.

• Alamhulk