>>485
>∪と∩とを 2項演算として定義しているよ
二項の合併を定義しているからといって無限項の合併を定義できないことにはならない。
実際、和集合の公理はそう定義している。
交叉についても分出公理を用いて無限項の交叉を定義できる。