集合全域

universe of set