संच प्रवाद ही गणिताची संचांचा अभ्यास करणारी एक शाखा आहे.

संच ही आधुनिक गणितातील एक मूलभूत संकल्पना आहे. गेओर्क कॅन्टर (Georg Cantor) या जर्मन गणितज्ञाने या संकल्पनेचा सखोल अभ्यास केला. पुढे रिखार्ट डेडेकिंट, बर्ट्रंड रसेल व इतर गणितज्ञांनी संचातील अनेक महत्त्वपूर्ण बाबींचे विश्लेषण केले. विशिष्ट गुणधर्म असलेल्या घटकांच्या समूहाला संच असे म्हणतात. उदाहरणार्थ, एका गावातील सर्व लोकांचा समूह हा एक संच आहे. त्या गावातील प्रत्येक माणूस हा या संचाचा घटक आहे.

संचाची गणितीय व्याख्या पुढीलप्रमाणे करता येईल.

संच : ज्या समूहातील घटक वेगवेगळे असतात आणि ते अचूक व नेमकेपणाने सांगता येतात अशा समूहाला संच असे म्हणतात.

सर्वसाधाराणपणे, इंग्रजी वर्णमालेतील पहिल्या लिपीतील अक्षरे संच दर्शविण्यासाठी वापरतात तर संचातील घटक दर्शविण्यासाठी दुसऱ्या लिपीतील अक्षरे वापरतात. तसेच, एखादा घटक हा एखाद्या संचाचा घटक आहे हे दर्शविण्यासाठी “ ”  या चिन्हाचा वापर करतात.  संचाचे घटक  या प्रकारच्या कंसाच्या आत लिहितात.

उदा.,  या संचात चार घटक आहेत.  हा  चा घटक आहे हे दर्शविण्यासाठी “” असे लिहितात तर  हा  चा घटक नाही हे दर्शविण्यासाठी   “” असे लिहितात.

संख्यांचे काही महत्त्वाचे संचसंपादन करा

१. नैसर्गिक संख्यांचा संच (set of natural numbers):

२. पूर्ण संख्यांचा संच (set of integers): .

३. परिमेय संख्यांचा संच (set of rational numbers):  .

४. अपरिमेय संख्यांचा संच (set of irrational numbers): परिमेय नसणाऱ्या संख्यांना अपरिमेय संख्या  म्हणतात. उदा., ,  (पाय)  ह्या संख्या परिमेय नाहीत असे दाखविता  येते.  अपरिमेय संख्यांचा संच वरील संख्यांच्या संचांप्रमाणे संक्षिप्त रुपात मांडता येत नाही.

५. वास्तव संख्यांचा संच (set of real numbers) :  परिमेय संख्यांचा संच व अपरिमेय संख्यांचा संच मिळून  वास्तव संख्यांचा संच बनतो आणि तो  या अक्षराने दर्शविला जातो.

६. रिक्त संच (empty set) : ज्या संचामध्ये एकही घटक नसतो अशा संचास रिक्त संच असे म्हणतात व तो  “”  ~ (फि / फाय) या चिन्हाने दर्शवितात. तसेच जो संच रिक्त नसतो अशा संचास अरिक्त संच (non-empty set) असे संबोधतात.

७. सांत संच (finite set) : ज्या संचातील घटकांची संख्या मर्यादित असते, अशा संचास सांत संच असे संबोधतात. रिक्त संच हा सांत संच आहे. उदा.,  हा सांत संच आहे.

८. अनंत संच (infinite set) :  ज्या संचातील घटकांची संख्या अमर्यादित असते, अशा संचास अनंत संच असे संबोधतात.

नैसर्गिक संख्यांचा संच, पूर्ण संख्यांचा संच, परिमेय संख्यांचा संच, अपरिमेय संख्यांचा संच, वास्तव संख्यांचा संच, ही अनंत संचांची काही उदाहरणे आहेत. अनंत संचाचे गणनीय संच (countable set) व अगणनीय संच (uncountable set) असे वर्गीकरण करतात.  उदा., नैसर्गिक संख्यांचा संच हा अनंत व गणनीय  आहे तर वास्तव संख्यांचा संच  हा अगणनीय आहे असे दाखवता येते.

९. उपसंच (subset) : जर  या संचाचा प्रत्येक घटक  या संचाचा घटक असेल तर  हा  चा उपसंच आहे असे म्हणतात व  “” असे लिहितात.

कार्तीय गुणाकार (Cartesian product) :संपादन करा

दोन समूहातील घटकांच्या सर्व क्रमिक जोड्यांचा संच मिळवण्यासाठी कार्टेशियन गुणाकार या संकल्पनेचा वापर केला जातो. उदाहरणार्थ, राम व श्याम यांना रंगकाम, बागकाम व विणकाम ही तीनही प्रकारची कामे करता येतात. तर माणसे  व कामांच्या पुढीलप्रमाणे सहा क्रमिक जोड्या होतील. क्रमिक जोड्या ह्या “(~,~)” अशा प्रकारच्या कंसात लिहिल्या जातात.