- ある文脈において、対象となる全ての要素を含む最も大きな集合のこと - $U$で表されることが多い