Grothendieck universe ^{الإنجليزية} (Q425142)

من Marefa data

transitive set closed under the operations of parameterized union, power set and unordered pairs ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Grothendieck universe	transitive set closed under the operations of parameterized union, power set and unordered pairs

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

Freebase ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

subclass of ^{الإنجليزية}

transitive set ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

named after ^{الإنجليزية}

ألكسندر غروتينديك

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

discoverer or inventor ^{الإنجليزية}

ألكسندر غروتينديك

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

defining formula ^{الإنجليزية}

(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)

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

studied by ^{الإنجليزية}

نظرية التصنيف

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Microsoft Academic ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

different from ^{الإنجليزية}

Universum ^{الإنجليزية}

criterion used ^{الإنجليزية}

صفحة وصفية وصفحة توضيح ينبغي إدراج كلٌ منها ضمن عناصر مختلفة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

instance of ^{الإنجليزية}

مفهوم رياضي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٤ وصلات)

مجلوبة من «https://data.marefa.org/w/index.php?title=Q425142&oldid=54371484»