Раздел математики, изучающий хорошо определенные коллекции объектов. Основоположник - Георг Кантор