generated at
小さい集合
u\in Uのこと
つまりグロタンディーク宇宙の要素