Axiom union
Axiom.
union
set M → set (⋃M)