# 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 Label Description Also known as
English
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

## Statements

0 references
0 references
${\displaystyle \forall A\,\exists B\,\forall c\,(c\in B\iff \exists D\,(c\in D\land D\in A)\,)}$
1 reference

## Identifiers

1 reference
28 October 2013
0 references

• cawiki
• enwiki
• eswiki
• fawiki
• frwiki
• hewiki
• itwiki
• jawiki
• lmowiki
• plwiki
• ptwiki
• ruwiki
• svwiki
• ukwiki
• zh_yuewiki
• zhwiki