Axiom of union

axiom stating that for any set x there is a set y whose elements are precisely the elements of the elements of x

Pronunciation

Categories