Розніца паміж версіямі "Падмноства"

92 байты дададзена ,  6 гадоў таму
др
вырашэнне неадназначнасцяў using AWB
др (Робат перанёс 47 міжмоўных спасылак да аб'екта d:q177646 на Wikidata)
др (вырашэнне неадназначнасцяў using AWB)
 
'''Падмно́ства''' — [[мноства]], якое з’яўляецца часткай іншага, большага мноства. Больш фармальна, мноства B з’яўляецца падмноствам мноства A, калі любы [[Элемент, тэорыя мностваў|элемент]] B з’яўляецца адначасова элементам A:
 
<math>~ B \subseteq A \quad \Leftrightarrow \quad \forall b \ (b \in B \to b \in A)</math>
Мноства B з’яўляецца ўласным падмноствам мноства A, калі:
 
* любы [[Элемент, тэорыя мностваў|элемент]] B з’яўляецца адначасова элементам A
* у A існуе прынамсі адзін элемент, які не ўваходзіць у B.
 
64 577

правак