display | more...
One of the Zermelo-Fraenkel axioms of set theory. It states that, given a set of sets, you can form a set consisting of the elements of those sets.

Informally: imagine a sack that contains a whole lot of bags of marbles. You can take the marbles out of their various bags and fill the sack directly with them. (I don't know why set theory can't be more visual.)

Formally: Ax Eu Aa (a in u <=> Eb (a in b & b in x))

The new set u is called the union of x, and is denoted Ux (actually with an extra-large union symbol U). The more familiar notion of a union of two sets, denoted A U B, is the particular case U{A, B}.

Log in or register to write something here or to contact authors.