Wp/lus/Khawnpéng

En bawk la : Khawnkhâwm, Khawnkhawmzirna

Khawnpéng tih hi khawnkhâwm, khawnkhâwm dang chhunga awm lehchhawng sawi nan kan hmang.

Chhiarkawp hrilhfiahna

A hi khawnkhâwm ni se, B hi khawnkhâwm lo ni ve bawk ta se. A chhungkhung apiang B chhungkhung a nih vè zël chuan A hi B khawnpéng kan ti. A chhinchhiahnain "A $\subset$ B" tiin kan ziak.

Entirna

$A=\lbrace 1,2,3,4\rbrace$ lo ni sé, $B=\lbrace 1,2,3,4,5,6,7,8\rbrace$ lo ni bawk ta se, A hi B khawnpéng a ni. A $\subset$ B tiin kan ziak.
$A=\lbrace a\in \mathbb {Q} \mid a>0\rbrace$ lo ni se, $B=\lbrace a\in \mathbb {R} \mid a>0\rbrace$ lo ni bawk se, A hi B khawnpéng a ni.

Chhinchhiahna

Kan sawi tawh angin A hi B khawnpéng a nih chuan "A $\subset$ B" tiin kan ziak a, "A hi B khawnpéng a ni" tia chhiar mai tùr. Heti zawng pawh hian a ziah theih: "B $\supset$ A". Hei hi "A hi B khawnpéng a ni" tia a chhiar theih tho rualin, a chhinchhiahna hawizawng milin "B-in A a dawlh" ti pawhin kan sawi bawk; A hi B chhunga a awm avangin a dawlh angin kan sawi a ni.

Thulâkna

Halmos, Paul R., Naive Set Theory, Springer-Verlag, 1960