>>113 追加

さて、その上で

日本語
https://ja.wikipedia.org/wiki/%E5%92%8C%E9%9B%86%E5%90%88%E3%81%AE%E5%85%AC%E7%90%86
和集合の公理
　↓
仏語
https://fr.wikipedia.org/wiki/Axiome_de_la_r%C3%A9union
Axiome de la réunion
和集合の公理
（google訳）
和公理（または「和公理」）は、ツェルメロ＝フランケル集合論（ZF）の公理の一つである。これは、任意の集合Aに対して、集合Aの要素集合のすべての要素のみを含む集合が存在することを述べている（文脈は、すべての対象が集合であり、特にA が集合の集合である場合の理論の文脈であり、そうでない場合は明示的に指定する必要がある）。
この公理は、部分集合の公理と置換公理スキーム（ツェルメロ理論Zのペアの公理を証明するもので、したがって ZF では冗長）の助けを借りて、2 つの集合の和集合（両方の集合の要素を正確に含む）が集合であることを証明することを可能にします。
　↓
英語
https://en.wikipedia.org/wiki/Axiom_of_union
Axiom of union
Relation to Pairing
The axiom of union allows one to unpack a set of sets and thus create a flatter set. Together with the axiom of pairing, this implies that for any two sets, there is a set (called their union) that contains exactly the elements of the two sets.

Relation to Intersection
There is no corresponding axiom of intersection. If
A is a nonempty set containing E, it is possible to form the intersection
∩A using the axiom schema of specification as
∩A={c∈E:∀D(D∈A⇒c∈D)},
so no separate axiom of intersection is necessary.
(引用終り)

＜補足＞
１）和集合の公理においても、
　仏語 fr.wikipedia にあるように
　”集合Aの要素集合のすべての要素のみを含む集合が存在することを述べている（文脈は、すべての対象が集合であり、特にA が集合の集合である場合の理論の文脈であり、そうでない場合は明示的に指定する必要がある）”
　ということ
　つまり、和集合の公理は 基本は集合Aが含む集合族（集合Aが無限の要素集合の族からなるとして*)）の
　要素集合の族の全ての要素を集めて、集合を作って良いということを主張する
２）また英語 en.wikipediaにあるように
　Relation to Pairing で、対の公理で 集合AとBとで ペア{A,B}を作って 和集合公理を使うと
　A∩B が出来ます
３）さらに、Relation to Intersection つまり 集合積との関係についても
　上記の通りですが、
　ひらたく言えば 集合Aが 集合族D1,D2,・・Di・・から成るとして
　つまり A={D1,D2,・・Di・・} として
　集合族D1,D2,・・Di・・ の 集合積が、和集合の部分集合として 定義できるのです
　だから、”so no separate axiom of intersection is necessary”なのです

注*)もちろん、集合Aが有限の要素集合の族からなるとしても 同様です