複数の異なる宇宙を含む集合を何と言う?