Ülemhulk
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.
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.