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  X \subset Y (mõnes tähistussüsteemis võib see siiski tähendada, et hulk X on hulga Y alamhulk).