Alambhulk

Läteq: Wikipedia
Mineq üle: juhtminõ, otsminõ
A om B 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[toimõndaq]

Umahusõq[toimõndaq]

\emptyset \subseteq A.
  • Ega hulk A om esiqhindä alambhulk:
A \subseteq A.

Kaeq viil[toimõndaq]