(Q1987722)

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

In more languages
default for all languages
No label defined

No description defined

Statements

0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit