集合論

集合を、対象を条件で切り出し、含まれるかどうかを判断するための数学の基本概念として整理します。