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