Ülemhulk

Allikas: Vikipeedia

Hulk X on hulga Y ülemhulk definitsiooni kohaselt parajasti siis, kui hulga Y iga element on ühtlasi hulga X element.

Hulk X on hulga Y ülemhulk parajasti siis, kui hulk Y on hulga X alamhulk.