数学におけるグロタンディーク宇宙(グロタンディークうちゅう、、)は次の性質をもった集合 "u" である: