Alamhulk

Matemaatikas nimetatakse hulka A hulga B alamhulgaks ehk osahulgaks ehk alamsüsteemiks^[1], kui kõik hulga A elemendid on ühtlasi hulga B elemendid. Seda asjaolu tähistatakse A ⊂ B või A ⊆ B^[2]. Alamhulgaks olemist nimetatakse sisalduvuseks ja asjaolu A ⊂ B kohta öeldakse ka, et hulk A sisaldub hulgas B. Hulkadevahelist binaarset seost ⊂ nimetatakse seetõttu sisalduvusseoseks.

Võib ka öelda, et B on A ülemhulk, mis on samaväärne sellega, et A on B alamhulk. Hulk B on hulga A ülemhulk parajasti siis, kui hulk A on hulga B alamhulk. Viimase asjaolu tõttu kanduvad ülemhulgale üle kõik alamhulkade omadused, kuid seda ümberpööratud kujul.