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

$A\subseteq B(A\supset B)$.

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

$A\subseteq B(A\supset B)$,

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

Vaata ka

• Alamhulk