Pärisalamhulk
Allikas: Vikipeedia
Hulk X on hulga Y pärisalamhulk definitsiooni kohaselt parajasti siis, kui X on hulga Y alamhulk ja X ja Y on erinevad hulgad.
Hulk X on hulga Y pärisalamhulk parajasti siis, kui X on hulga Y alamhulk ja Y ei ole hulga X alamhulk.
Kui hulk X on hulga Y pärisalamhulk, siis hulk Y on hulga X pärisülemhulk.
Kui hulk X on hulga Y pärisalamhulk, siis kirjutatakse (mõnes tähistussüsteemis võib see siiski tähendada, et hulk X on hulga Y alamhulk).