Підмножина: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Minsbot (обговорення | внесок) м r2.7.2) (робот змінив: ro:Mulțime#Submulțimi |
IvanBot (обговорення | внесок) м →Властивості: replaced: зворотньо → зворотно за допомогою AWB |
||
Рядок 36:
Доведення: Для довільної множини <var>A</var> потрібно довести, що ∅ є підмножиною <var>A</var>. Це рівнозначно тому, щоби показати, що всі елементиТ ∅ є також елементами <var>A</var>. Але в ∅ не існує жодного елемента.
Пояснимо: завдяки тому, що в ∅ немає елементів, "вони" не можуть бути нічиїми елементами. Тому для доведення
'''ТВЕРДЖЕННЯ 2''': Якщо ''A'', ''B'' та ''C'' є множини, тоді справедливі такі властивості відношення включення:
| |||