В математиката множеството представлява съвкупност от различни обекти, наричани още елементи, която се разглежда като едно цяло.
समुच्चय या कुलक सुपरिभाषित समूह अथवा संग्रह को कहते हैं। परिभाषा के रूप में वस्तुओं के उस समूह अथवा समाहार को समुच्चय कहते हैं जिसमें सम्मिलित प्रत्येक वस्तु किसी गुण विशेष को संतुष्ट करती हो जिसके आधार पर स्पष्ट रूप से यह बताया जा सके कि अमुक वस्तु उस संग्रह में सम्मिलित है अथवा नहीं है।