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 \ \ \ \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

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

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

Vaata ka

• Alamhulk