集合を研究する数学の一分科。