axiom stating that for any set x there is a set y whose elements are precisely the elements of the elements of x English
edit
Language Label Description Also known as
British English
No label defined
No description defined

    Statements

    /m/0dtgx
    1 reference
    Q15241312 (Deleted Item)
    28 October 2013
    axiom English
    0 references
    Q191849 (Deleted Item)
    0 references
    topic/axiom-of-union
    0 references
    ProofWiki ID English
    Axiom:Axiom_of_Union/Zermelo-Fraenkel
    0 references
    2779821532
    0 references
    nLab ID English
    axiom of union
    0 references
    Q57248 (Deleted Item)
    0 references