クラス
class
類
ともいう
グロタンディーク宇宙
の
部分集合
一般の
宇宙
に対しても言えるの
#??
全ての
集合
の集まり
定義は集合論によってさまざまらしい
mrsekut.icon
集合は、すべてクラス
その中でも集合になれるクラスと、そうでないクラスがある
後者は「大きすぎて」集合になれないらしい
前者を「小さい」
後者を「大きい」
という
真のクラス
「クラス」という言葉を導入しない場合のクラスの呼び方
ref
table:対応
「クラス」という言葉を使う 「集合」だけで済ませる
クラス
(必ずしも小さくない)集合
集合
小さい集合
真クラス
大きい集合
/miyamonz/クラス(集合論)
https://ja.wikipedia.org/wiki/クラス_(集合論)