>>565-566 補足
(引用開始)
２）記号の濫用で L ⊂ V* ⊂ U* と書く
　ここに ⊂ は、集合の包含関係を 宇宙に適用したもので 等号＝ 不成立とする
　L：（ゲーデル）Constructible universe （standard inner model of ZFC、absolute and minimal）
　V*：(素の)フォン・ノイマン宇宙 V （到達不能基数は考えない）
　U*：グロタンディーク宇宙 到達不能基数を考える
（絵がきれいで分かり易い）
https://en.wikipedia.org/wiki/Von_Neumann_universe
https://en.wikipedia.org/wiki/Von_Neumann_universe#/media/File:Von_Neumann_Hierarchy.svg
An initial segment of the von Neumann universe. Ordinal multiplication is reversed from our usual convention; see Ordinal arithmetic.
(引用終り)

＜たとえ話＞
・(素の)フォン・ノイマン宇宙 V は、上記の絵の通りで Vの内部で ずっと無限基数がつづくが 終着点がない
・グロタンディーク宇宙Uは、到達不能基数κ を考える
・それは、あたかも ユークリッド幾何と 無限遠点を持つ射影幾何との関係に似ている
　到達不能基数κを 無限遠点に例えれば 分かり易いだろう
　ユークリッド幾何は 無限に広いが そこには無限遠点は存在しない
　無限遠点を持つ射影幾何を考えると 射影幾何の定理をすっきり述べることができる（実例は各自検索せよ）
　べつの典型例が、下記のリーマン球面

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96
コンパクト化
一点コンパクト化の例
n次元ユークリッド空間
R^n の一点コンパクト化は、n次元球面
S^nと同相である。特にリーマン球面
C^ は複素平面
C の一点コンパクト化として与えられる。
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96#/media/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Riemann_sphere1.jpg
複素平面の一点コンパクト化。複素数 A を埋め込み写像P により球面（リーマン球面と呼ばれる）の上の一点 α に写す。図でP (∞)と書かれている部分が無限遠点である。
https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2
リーマン球面