Grothendieck universe
(Q1465090)
transitive set closed under the operations of parameterized union, power set and unordered pairs
transitive set closed under the operations of parameterized union, power set and unordered pairs
Language:
Current Data About
Grothendieck universe
| (P31) |
(Q24034552)
|
||||
| (P61) |
(Q77141)
|
||||
| (P138) |
(Q77141)
|
||||
| (P279) |
(Q671944)
|
||||
| (P1889) |
(Q7896833)
|
||||
| (P2534) |
(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)
|
||||
| (P2579) |
(Q217413)
|
||||
| (P6104) |
(Q8487137)
|
||||
| (P7235) |
U
\mathcal P
|
other details
| description | transitive set closed under the operations of parameterized union, power set and unordered pairs |
External Links
| (P646) |
/m/043hbj
|
| (P4215) |
Grothendieck universe
|
| (P6366) |
2777712643
|
| (P6781) |
Definition:Grothendieck_Universe
|