Alambhulk

Hulk A om hulga B alambhulk vai osahulk (kirotõdas $A\subseteq B$ ), ku A ega elonik om B elonik kah. Sama as'a kotsilõ võidas viil üteldäq, et "B om A ülembhulk", "A sisaldus hulgan B", "B sisaldas hulka A" vai "hulk A om hulga B sisen". Mõnikõrd kirotõdas viil $B\supseteq A$ . Nii tekküs köüdüs $\subseteq$ hulkõ vaihhõl, midä kutsutas sisaldumisköüdüs.

Ku hulk A olõ-iq hulga B alambhulk, kirotõdas $A\not \subseteq B$ .

Kui X om määnegi hulk, sõs või kaiaq X kõiki alambhulkõ hulka, tuud tähüstedäs ${\mathcal {P}}(X)$ .

Näütüseq

Kõiki räpinläisi hulk om kõiki võromaalaisi hulga alambhulk.
võrokõisi hulk olõ-iq võromaalaisi hulga alambhulk, s'ollõ et võrokõisi eläs muial kah ku Võromaal.
$\{5,2\}\subseteq \{1,2,3,4,5\}$
$\{1,2,3,4,5\}\subseteq \{1,2,3,4,5\}$

Umahusõq

Tühi hulk om ega hulga A alambhulk:

\emptyset \subseteq A

.

Ega hulk A om esiqhindä alambhulk:

A\subseteq A

.

Kaeq viil

Perisalambhulk