Попробую ограничиться аксиомами без пояснений, хотя это будет непросто! )))
Аксиомы эти меня просто потрясают.
Аксиома III (аксиома множества-суммы или объединения) Для любого множества а, содержащего по крайней мере один член, существует вполне определенное множество, членами которого являются в точности члены членов множества а.
Это множество называется множеством-суммой (sum-set) множества а, или объединением (union) членов а. Оно обозначается через «∪а».
Итак, х ∈ ∪а оказывается верным, в том и только в том случае, если найдется такое z ∈ a (по крайней мере одно z), что х ∈ z.
Грубо говоря, если множество а содержит члены t, u, v, ..., то в ∪а содержатся как раз члены множеств t, u, v, ...; иногда мы будем поэтому обозначать множество-сумму множества а через t ∪ u ∪ v ∪ ... , где порядок членов не играет роли.