ある条件によって明確にグループ分けできるものの集まりのこと。

数学の一分野である。