出典:デジタル大辞泉(小学館)

代数学の一部門。集合の定義を満たすとき、この集合の性質を研究する学問。