グロタンディーク宇宙
もし x ∈ U {\displaystyle x\in U} かつ y ⊆ x {\displaystyle y\subseteq x} ならば y ∈ U {\displaystyle y\in U} .