Alambhulk

Läteq: Wikipedia

A om B alambhulk
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).

[toimõndaq] 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\}

[toimõndaq] Umahusõq

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

[toimõndaq] Kaeq viil