Аксіоматика теорії множин: відмінності між версіями

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