Grothendieck universe ^English (Q1465090)

transitive set closed under the operations of parameterized union, power set and unordered pairs ^English

Language	Label	Description	Also known as
British English	No label defined	No description defined

Statements

/m/043hbj

1 reference

Q15241312 (Deleted Item)

28 October 2013

Q671944 (Deleted Item)

0 references

Q77141 (Deleted Item)

0 references

Q77141 (Deleted Item)

0 references

(x\in y\in U\implies x\in U)\land (\{x,y\}\subset U\implies \{x,y\}\in U)\land (x\in U\implies {\mathcal {P}}(x)\in U)\land \left((I\in U\land \{x_{i}\}_{i\in I}\subset U)\implies \bigcup _{i\in I}x_{i}\in U\right)

0 references

Q217413 (Deleted Item)

0 references

2777712643

0 references

nLab ID ^English

Grothendieck universe

0 references

U

0 references

{\mathcal {P}}

Q205170 (Deleted Item)

0 references

Q24005632 (Deleted Item)

0 references