axiom of union (Q1987722)
axiom stating that for any set x there is a set y whose elements are precisely the elements of the elements of x
Language:
Current Data About axiom of union
(P31) (Q17736)
(P61) (Q57248)
(P361) (Q3632199)
(P2534) \forall A\, \exists B\, \forall c\, (c \in B \iff \exists D\, (c \in D \and D \in A)\,)
(P2579) (Q191849)
(P6104) (Q8487137)
other details
description axiom stating that for any set x there is a set y whose elements are precisely the elements of the elements of x

External Links