Аксиома выбора

[EEater]

В Википедии формулировка аксиомы выбора представлена таким образом.
Вопрос: что здесь означает $\bigcup X$?

[Xaositect]

Объединение всех элементов множества $X$.

[EEater]

А что такое объединение элементов? Объединение множеств - понятно.

[mihaild]

$A = \bigcup X \leftrightarrow \forall x (x \in A \leftrightarrow (\exists Y \in X: x \in Y))$

[Xaositect]

EEater в сообщении #1215241 писал(а):

А что такое объединение элементов? Объединение множеств - понятно.

В ZFC элементами множеств могут быть только множества.

[grizzly]

Это может прояснить мотивацию обозначения.

[EEater]

mihaild в сообщении #1215242 писал(а):

$A = \bigcup X \leftrightarrow \forall x (x \in A \leftrightarrow (\exists Y \in X: x \in Y))$

Я так и догадывался.
Спасибо всем, кто помог!