Аксіоматика теорії множин: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
мНемає опису редагування |
||
Рядок 14:
Дві [[множина|множини]] рівні тоді й тільки тоді, коли вони мають одні й ті ж елементи.
Формально:
:<math>\forall A,B : A=B \iff \forall C (C\in A \iff C\in B)</math>
Тобто, множини ''А'' та ''B'' рівні тоді й тільки тоді, коли існує така множина ''C'', яка належить множині ''A'' тоді й тільки тоді, коли вона належить і множині ''B''.
|