𝟕. ∀𝒙 ϵ 𝐴 ∃! 𝒚 Ø (𝒙, 𝒚) → ∃𝐵 ∀𝒙 ϵ 𝐴 ∃𝒚 ϵ 𝐵 Ø (𝒙, 𝒚) مُسَلِّمَهٔ اِسْتِبْدَال

تعارف اور تاریخی پس منظر

مُسَلِّمَهٔ اِسْتِبْدَال مسلمہ نظریۂ طاقم (زیڈ. ایف. سی) کا ایک بنیادی مسلّمہ ہے جو 1922 میں ابرہام فرینکل اور تھورالف اسکولم نے الگ الگ پیش کیا۔ رسمی صورت میں

∀𝒙 ϵ 𝑨 ∃!𝒚 𝛗(𝒙, 𝒚) → ∃𝑩 ∀𝒙 ϵ 𝑨 ∃𝒚 ϵ 𝑩 𝛗(𝒙, 𝒚)

اردو ترجمہ: "اگر اے کوئی طاقم ہے اور فی ایک ایسا بیان ہے کہ ہر اے ∋ ایکس کے لیے ایک منفرد وائے موجود ہو جس کے ساتھ فی(ایکس, وائے) سچ ہو، تو ایک طاقم بی موجود ہے جس میں ایسے تمام وائے شامل ہیں جو کسی نہ کسی اے ∋ ایکس کے لیے فی(ایکس, وائے) کو سچ کرتے ہیں۔"

سادہ الفاظ میں: اگر ہمارے پاس ایک "عمل" ہے جو طاقم اے کے ہر عنصر کو منفرد طور پر کسی چیز میں بدلتا ہے، تو ان تمام تبدیل شدہ چیزوں کا مجموعہ بھی ایک طاقم ہوتا ہے۔

فلسفیانہ شرح

تبدیلی اور استمرار کا فلسفہ

 مسلمۂ استبدال تبدیلی کے فلسفے کو ریاضیاتی شکل دیتا ہے۔ یہ بتاتا ہے کہ نظاموں میں تبدیلی کے باوجود ساخت کی حفاظت ممکن ہے۔ جس طرح درخت اپنے بیجوں سے نئے درخت پیدا کرتا ہے مگر اپنی نوعیت برقرار رکھتا ہے، اسی طرح یہ مسلمہ تبدیلی میں تسلسل کا ضامن ہے۔

وجود کی منتقلی

یہ مسلمہ وجودیات میں "وجود کی منتقلی" کے تصور کو واضح کرتا ہے۔ اگر ایک وجود (طاقم اے) ہے اور تبدیلی کا اصول (فی) ہے، تو نئی موجودات (طاقم بی) کا وجود لازمًا آتا ہے۔ یہ علت و معلول کے فلسفیانہ اصول کی ریاضیاتی صورت ہے۔

وحدانیت اور کثرت

 مُنفرد وُجُود تصور فلسفیانہ طور پر اہم ہے۔ یہ بتاتا ہے کہ ہر شے کی تبدیلی قطعی اور معین ہوتی ہے۔ یہ نظریہ تقدیر اور آزاد مرضی کے مباحث سے متعلق ہے۔ کیا ہر عمل کا نتیجہ منفرد طور پر متعین ہوتا ہے؟

منطقی شرح

مسلمہ سکیما کی نوعیت

مسلمۂ استبدال دراصل ایک "اسکیم" ہے، یعنی یہ ایک واحد مسلمہ نہیں بلکہ مسلمات کا ایک خاندان ہے۔ ہر ممکنہ بیان فی کے لیے ایک الگ مسلمہ۔ یہ اس کی طاقت بھی ہے اور پیچیدگی بھی۔

منطقی ساخت کا تجزیہ

مسلمہ کی منطقی ساخت میں کئی اجزاء شامل ہیں

١. شرطیہ ⇽: پورا مسلمہ ایک شرطی بیان ہے

٢. وجودی مُحَدِّد با: "منفرد وجود" کا تصور

٣. کلی مُحَدِّد : "ہر ایک کے لیے" کا عمومی بیان

٤. تعلقاتی بیان (فی): دلخاضی شرط یا تعلق

منطقی اہمیت

یہ مسلمہ زیڈ.ایف.سی نظریہ کی طاقت میں اضافہ کرتا ہے۔ بغیر اس کے، بہت سے لامحدود طاقموں کی تعمیر ممکن نہیں ہوتی۔ یہ خاص طور پر لامتناہی عملیات کے لیے ضروری ہے۔

ریاضیاتی شرح

تعریف اور مفہوم

ریاضیاتی طور پر، مسلمہ استبدال کہتا ہے کہ اگر ایف ایک تفاعُل ہے جس کی مجال طاقم اے ہے، تو ایف کی حیط بھی ایک طاقم ہے۔

رسمی طور پر: اگر

𝐹: 𝐴 → 𝑉

 ایک تفاعُل ہے، تو 

{𝐹(𝒙) : 𝒙 ϵ 𝐴}

 ایک طاقم ہے۔

مثالیں

١. مربع بنانے کا عمل: اگر 

𝐴 = {𝟏, 𝟐, 𝟑} ∧ φ(𝒙, 𝒚)

    " 𝒚 = 𝒙²"کا مطلب ہے

،تو 

𝐵 = {𝟏, 𝟒, 𝟗}

٢. قدرتی اعداد سے زوجی اعداد: اگر 

 𝐴 = ℕ 

(قدرتی اعداد) اور 

φ(𝒏, 𝒎)

 یعنی 

"𝒎 = 𝟐𝒏"

،تو  

𝐵 = {𝟐, 𝟒, 𝟔, ...} (جفت اعداد)

اطلاقات

١. مرتب اعداد

مسلمہ استبدال ترتیبی اعداد کی تعمیر کے لیے ضروری ہے۔ یہ ہمیں لامتناہی ترتیبی اعداد بنانے کی اجازت دیتا ہے۔

٢. انتقالی تعاود

یہ مسلمہ انتقالی تعاود کے اصول کی بنیاد ہے، جس کے ذریعے ہم لامتناہی تعریفیں بنا سکتے ہیں۔ 

٣. کارڈینل علم الحساب

بزرگ کارڈینل اعداد کی تعمیر میں مسلمۂ استبدال کلیدی حیثیت رکھتا ہے۔

٤. مجموعی نظریہ

مسلمۂ اِستِبدال نظریۂ طاقِم میں حد اور ساحق کے تصورات کے لیے بنیادی ہے۔

فنی تفصیلات

مسلمۂ اِستِبدال کی بدولت

 ہم تفاعُل کی تعریف واضح کر سکتے ہیں۔

 لامتناہی تسلسل بناسکتے ہیں۔

 ریاضیاتی اشیاء کی "جماعتیں" کو طاقموں میں تبدیل کر سکتے ہیں۔

شعری و ادبی شرح

تبدیلی کا استعارہ

مسلمۂ استبدال ادبی لحاظ سے "تبدیلی" اور "انتقال" کا استعارہ ہے۔ جس طرح شاعر الفاظ کو معانی میں بدلتا ہے، اسی طرح یہ مسلمہ عناصر کو نئی صورتوں میں ڈھالتا ہے۔ غالب کی شاعری میں وہ کہتے ہیں

نقش فریادی ہے کس کی شوخیٔ تحریر کا

کاغذی ہے پیرہن ہر پیکرِتصویر کا

یہاں "پیکرِ تصویر" کو طاقم اے سمجھیں، اور "کاغذی پیرہن" کو طاقم بی۔ ہر تصویر کا کاغذی پیرہن (تبدیلی) منفرد ہے، اور تمام پیرہنوں کا مجموعہ ایک نیا طاقم بناتا ہے۔

تخلیقی عمل

ادبی تخلیق کا عمل بھی ایک استبدالی عمل ہے

مصنف کے خیالات (طاقم اے)

تخلیقی عمل (فی)

ادبی تخلیق (طاقم بی)

ہر خیال ایک منفرد تخلیقی صورت اختیار کرتا ہے، اور تمام تخلیقات مل کر ایک نئی ادبی کائنات تشکیل دیتے ہیں۔

ترجمہ کا فن

ترجمہ بھی ایک عملِ استبدال ہے

ماخذ متن کے الفاظ (طاقم اے)

ترجمہ کا اصول (فی)

ہدف متن کے الفاظ (طاقم بی)

ہر لفظ کا منفرد ترجمہ ہوتا ہے، اور تمام تراجم مل کر نیا متن بناتے ہیں۔

روحانی و مذہبی شرح

اسلامی تصورِ تقدیر اور اختیار

مسلمہ استبدال تقدیر اور اختیار کے اسلامی تصور سے دلچسپ مشابہت رکھتا ہے۔ انسان (طاقم اے) اپنے اعمال (فی) کے ذریعے اپنی آخرت (طاقم بی) تشکیل دیتا ہے۔ قرآن میں ہے

"إِنَّ الـلّٰهَ لَا يُغَيِّرُ مَا بِقَوْمٍ حَتَّى يُغَيِّرُوا مَا بِأَنْفُسِهِمْ" 

"بے شک اللہ کسی قوم کی حالت نہیں بدلتا جب تک کہ وہ خود اپنی حالت نہ بدلیں"[الرعد ۱۱ القُرآن]۔

یہ آیت عملِ استبدال کو واضح کرتی ہے: انسانی تبدیلی (فی) کے نتیجے میں الہی تبدیلی (بی) آتی ہے۔

صوفیانہ تصورِ فنا و بقا

صوفیا کے ہاں "فنا فی اللہ" اور "بقا باللہ" کا تصور استبدالی مسلمہ سے مشابہت رکھتا ہے۔ سالک (طاقم اے) اپنے تزکیہ نفس (فی) کے ذریعے ایک نئی وجودی حالت (طاقم بی) حاصل کرتا ہے، مولانا روم فرماتے ہیں

مردہ بودم،زندہ شدم، گریستہ بودم، خندیدم

دولت عشق آمد و من دولت پاینده شدم

یہاں پہلی حالت (مردہ، گریستہ) طاقم اے ہے، عشق کا عمل (فی) ہے، اور نئی حالت (زندہ، خندہ، پاینده) طاقم بی ہے۔

بدھ مت کا تصورِ کرما

بدھ مت میں کرما کا قانون بھی اصولِ استبدال پر کارفرما ہے۔ ہر عمل (کرما، فی) کے نتائج لازمی طور پر ظاہر ہوتے ہیں۔ موجودہ زندگی (طاقم اے) کے اعمال اگلی زندگی (طاقم بی) کا تعین کرتے ہیں۔

عیسائیت میں نجات کا تصور

عیسائیت میں بھی تبدیلی کا تصور مرکزی ہے۔ پولس رسول کہتا ہے

"اگر کوئی مسیح میں ہے تو وہ نیا مخلوق ہے۔پرانی چیزیں جاتی رہیں، دیکھو سب چیزیں نئی ہو گئیں۔" (۲ کرنتھیوں ۵:۱۷)

یہاں پرانی زندگی طاقم اے ہے، مسیح میں ہونے کا عمل فی ہے، اور نئی مخلوق طاقم بی ہے۔

ہندی فلسفہ اور دھرم

ہندی فلسفے میں دھرم (حق، فرض) کا تصور بھی اصول استبدال پر مبنی ہے۔ ہر عمل کے نتائج لازمی ہیں۔ گیتا میں کہا گیا ہے

"جیسا بیج بوؤ گے،ویسا پھل پاؤ گے"

عملی اطلاقات اور جدید معنویت

کمپیوٹر سائنس میں

١. فعالاتی پروگرامنگ: استبدالی مسلمہ میپ اور ریڈیوس آپریشنز کی نظریاتی بنیاد ہے

٢. ڈیٹا تبدیلی: ڈیٹا کے ایک سیٹ سے دوسرے سیٹ میں تبدیلی

٣. کوڈ جنریشن: ایک فارمیٹ سے دوسرے فارمیٹ میں خودکار تبدیلی

معاشیات میں

١. پیداواری عمل: مواد (اے) کو پیداواری عمل (فی) کے ذریعے مصنوعات (بی) میں بدلنا

٢. قیمتوں کا تعین: اشیاء کی قدر میں تبدیلی

تعلیمی عمل

١. تعلیمی تبدیلی: طالب علم کی اصل حالت (اے) تعلیمی عمل (فی) کے ذریعے نئی حالت (بی) میں بدلتی ہے

٢. علم کی ترسیل: معلومات کی ایک صورت سے دوسری صورت میں منتقلی

نتیجہ اور خلاصہ

 مسلمہ استبدال محض ایک ریاضیاتی اصول نہیں، بلکہ کائناتی تبدیلی کے ایک بنیادی قانون کی عکاسی کرتا ہے۔ یہ ہمیں سکھاتا ہے کہ

١. تبدیلی میں تسلسل: تبدیلی کے عمل میں ساخت برقرار رہتی ہے

٢. منفردیت: ہر تبدیلی اپنے آپ میں منفرد ہوتی ہے

٣. وجود کی منتقلی: موجودہ وجود سے نئے وجود کا ظہور ممکن ہے

٤. قانونیت: تبدیلی کے قوانین باقاعدہ اور قابل بیان ہیں

آخر میں، اقبال کے اس شعر پر غور کریں جو استبدالی عمل کی شاندار عکاسی کرتا ہے

خودی کو کر بلند اتنا کہ ہر تقدیر سے پہلے

خدا بندے سے خود پوچھے، بتا تیری رضا کیا ہے

یہاں "خودی" (ذات) طاقم اے ہے، اس کی بلندی کا عمل فی ہے، اور نئی حالت (جہاں خدا بندے سے پوچھتا ہے) طاقم بی ہے۔

 مسلمۂ اِستِبدال ہمیں یقین دلاتا ہے کہ تبدیلی ممکن ہے، اور ہر تبدیلی منظم اصولوں کے تحت رونما ہوتی ہے۔ یہی عقیدہ ترقی، ارتقاء اور روحانی بلندی کی بنیاد ہے۔

ضمیمہ: رسمی تعریفوں کی جامع شرح

تمہید: تعریفوں کی اہمیت

نظریۂ طاقم ریاضی کی بنیاد ہے، اور اس کی بنیاد انہی رسمی تعریفوں پر قائم ہے۔ یہ تعریفیں محض علامتیں نہیں بلکہ گہرے فلسفیانہ، منطقی اور وجودی مفاہیم کی حامل ہیں۔ ذیل میں ہم ان پانچ اہم تعریفوں کی تفصیلی شرح پیش کرتے ہیں

١. تحتی طاقم کی تعریف

 𝒙 ⊆ 𝒚 ↔ ∀𝒛 (𝒛 ϵ 𝒙 → 𝒛 ϵ 𝒚)

تعارف

ایکس، وائے کا تحتی طاقم ہے اگر اور صرف اگر ہر زیڈ کے لیے (زیڈ، ایکس کا عنصر ہے تو زیڈ، وائے کا بھی عنصر ہے) 

فلسفیانہ شرح

یہ تعریف "کل اور جز" کے قدیم فلسفیانہ مسئلے کو ریاضیاتی شکل دیتی ہے۔ افلاطون کے تصور "مثال" (صورت) کے مطابق، ہر جزوی حقیقت کلی حقیقت میں شامل ہوتی ہے۔ اسلامی فلسفے میں بھی "کلی" اور "جزوی" کا یہی تعلق بیان کیا گیا ہے۔ ابن سینا کے ہاں "کلی طبیعی" اسی طرح جزئیات پر محیط ہوتا ہے جیسے وائے طاقم ایکس پر محیط ہوتا ہے۔

منطقی شرح

منطقی اعتبار سے یہ تعریف ایک "دو شرطی بیان" ہے جو دو طرفہ مضمر قائم کرتی ہے۔ "↔" علامت منطقی معادلگی ظاہر کرتی ہے۔ یہ تعریف دراصل تحتی طاقم کے تصور کو منطقی زبان میں ڈھالتی ہے، جہاں "ہر" (∀) کا مُحَدِّد اور "اگر-تو" (→) کا مشروط بیان استعمال ہوا ہے۔

ریاضیاتی شرح

ریاضی میں تحتی طاقم کا تصور بنیادی اہمیت کا حامل ہے۔ اگر 

𝒙 ⊆ y

 ،تو

 ہر ایکس کا عنصر وائے میں بھی ہوگا

  طاقمِ مُعَرَّا ہر طاقم کا تحتی طاقم ہے

 ہر طاقم اپنا تحتی طاقم ہے (x ⊆ x)

مثال: اگر

 𝒙 = {1, 2} ∧ 𝒚 = {1, 2, 3, 4},∵ 𝒙 ⊆ 𝒚

شعری و ادبی شرح

شاعری میں اس تصور کو "شمولیت" یا "احتواء" کے استعارے کے طور پر دیکھا جا سکتا ہے۔ مثلًا غالب کا شعر:

ہر چشم ہے اپنے ستم پر ہی گریاں اے غالب

تجھ کو نہیں آتا ہے کوئی درد بھی ہمارے بعد

یہاں "ہر چشم" کو ایک کلی طاقم وائے سمجھیں، اور "ہر چشم جو اپنے ستم پر گریاں ہے" کو تحتی طاقم ایکس۔ 

𝒙 ⊆ 𝒚

 کی شرط پوری ہو رہی ہے۔

روحانی و مذہبی شرح

اسلامی تصور "امت" میں بھی یہی تعلق پایا جاتا ہے۔ امت مسلمہ (وائے) میں مختلف گروہ 

(x₁, x₂, ...)

 شامل ہیں، ہر گروہ امت کا تحتی طاقِم ہے۔ قرآن میں ہے

إِنَّ هَٰذِهِ أُمَّتُكُمْ أُمَّةً وَاحِدَةً وَأَنَا رَبُّكُمْ فَاعْبُدُونِ

بے شک تمہاری یہ امت ایک ہی امت ہے اور میں تمہارا رب ہوں،پس میری عبادت کرو [الأنبیاء ۹۲ القرآن]۔

٢. طاقِمِ مُعَرّیٰ کی تعریف

𝒙 = Ø ↔ ∀𝒛 (𝒛 ∉ 𝒙)

تعارف

ایکس طاقِمِ مُعَرّیٰ ہے اگر اور صرف اگر ہر زیڈ کے لیے، زیڈ، ایکس کا عنصر نہیں ہے۔

فلسفیانہ شرح

طاقِمِ مُعَرّیٰ کا تصور "عدم" کے فلسفیانہ مسئلے سے متعلق ہے۔ وجودیات میں "عدم" کے وجود یا عدم وجود پر صدیوں سے بحث جاری ہے۔ بدھ مت میں "شونیاتا" یعنی "خلا" کا تصور اسی سے ملتا جلتا ہے۔ اسلامی فلسفے میں "عدم" کو "عدم محض" کہا گیا ہے، جو کچھ نہیں ہے، مگر ریاضی میں اسے ایک وجود دے دیا گیا ہے۔ اگرچہ یہ کتنا فرضی ہو مگر یہ دو وجودوں کے مابین کسی تیسرے وجود کے نا ہونے پر مکمل دلالت کرتا ہے یا اس کا مظہر ہے۔

منطقی شرح

منطقی طور پر، طاقِمِ مُعَرّیٰ کی تعریف ایک "کلی نفی" ہے۔ 

∀𝒛 (𝒛 έ 𝒙)

 کا مطلب ہے: "ہر ممکن زیڈ کے لیے، یہ سچ نہیں کہ

 z ϵ x

۔ یہ تعریف "خالی یا مُعَرّیٰ" ہونے کی مثبت تعریف ہے نہ کہ محض "عناصر نہ ہونا"۔

ریاضیاتی شرح

طاقِمِ مُعَرّیٰ {} یا ∅ سے ظاہر کیا جاتا ہے۔ اس کی اہم خصوصیات

 یہ ہر طاقم کا تحتی طاقم ہے

 ∅ ⊆ A ہر اے کے لیے

 اس کی کارڈینالٹی صفر ہے: |∅| = 0

 یہ واحد طاقم ہے جس کا کوئی عنصر نہیں

شعری و ادبی شرح

طاقِمِ مُعَرّیٰ کا تصور شاعری میں "خلا"، "فقدان" اور "عدم موجودگی" کے اظہار سے متعلق ہے۔ میر تقی میر کا شعر

ناہید کے کوچے کو جاتا ہے پھر وہی سودائی

دل خالی ہے اور اٹھا جاتا ہے وہی دیوانہ

یہاں "دل خالی ہے" طاقِمِ مُعَرّیٰ کی علامت ہے۔ دل (طاقم ایکس) میں کوئی (زیڈ) نہیں ہے۔

روحانی و مذہبی شرح

صوفیا کے ہاں "فنا" کا تصور طاقِمِ مُعَرّیٰ سے مشابہت رکھتا ہے۔ جب سالک اپنی انا (خودی) کو ختم کرتا ہے، تو وہ ایک خالی ظرف بن جاتا ہے جس میں معرفت حقیقی بھر سکتی ہے۔ بایزید بسطامی کا قول: "سب سے پہلے میں نے خدا کو تلاش کیا، پھر میں نے اسے جانا، پھر میں نے اس سے بات کی، پھر میں فنا ہو گیا۔"

٣. جانشین کی تعریف

 𝒚 = 𝑺(𝒙) ↔ ∀𝒛 (𝒛 ϵ 𝒚 ↔ 𝒛 ϵ 𝒙 ∨ 𝒛 = 𝒙)

تعارف

وائے، ایکس کا جانشین ہے اگر اور صرف اگر ہر زیڈ کے لیے (زیڈ، وائے کا عنصر ہے اگر اور صرف اگر زیڈ، ایکس کا عنصر ہے یا زیڈ خود ایکس کے برابر ہے)۔

فلسفیانہ شرح

یہ تعریف "اضافہ" یا "ترقی" کے فلسفیانہ تصور کو ریاضیاتی شکل دیتی ہے۔ ہر چیز اپنے آپ میں اپنے سابقہ حالات کو سمیٹے ہوئے آگے بڑھتی ہے۔ ہیگل کے جدلیاتی عمل میں بھی یہی تصور کارفرما ہے کہ ہر نئی صورت قدیم صورتوں کو اپنے اندر سمو لیتی ہے۔

منطقی شرح

یہ تعریف "اگر اور صرف اگر" (↔) کے دو طرفہ ربط پر مبنی ہے۔ دائیں طرف "یا" (∨) کا منطقی جوڑ استعمال ہوا ہے۔ یعنی جانشین میں وہ تمام عناصر شامل ہیں جو یا تو اصل طاقم میں تھے یا خود اصل طاقم ہی ہے۔

ریاضیاتی شرح

جانشین کا تصور قدرتی اعداد کی تعمیر میں بنیادی اہمیت کا حامل ہے۔ وان نیومین کے طریقے میں:

𝟎 = Ø

𝟏 = S(𝟎) = {Ø} = {𝟎}

𝟐 = S(𝟏) = {Ø, {Ø}} = {𝟎, 𝟏}

𝟑 = S(𝟐) = {Ø, {Ø}, {Ø, {Ø}}} = {𝟎, 𝟏, 𝟐}

اس طرح تمام قدرتی اعداد بنتے ہیں۔

شعری و ادبی شرح

شاعری میں "تسلسل" اور "وراثت" کے تصورات جانشین کی تعریف سے مماثلت رکھتے ہیں۔ اقبال کا شعر جیسا اوپر گزر چکا 

خودی کو کر بلند اتنا کہ ہر تقدیر سے پہلے

خدا بندے سے خود پوچھے،بتا تیری رضا کیا ہے

یہاں خودی کی بلندی ایک جانشینی عمل ہے: نئی خودی = پرانی خودی + اضافی کمال۔

روحانی و مذہبی شرح

اسلام میں "خلفاء" کا سلسلہ بھی ایک جانشینی عمل ہے۔ ہر نبی اپنے سابقہ انبیاءؑ کے مشن کو آگے بڑھاتا ہے۔ قرآن میں ہے:

وَإِذْ قَالَ رَبُّكَ لِلْمَلَائِكَةِ إِنِّي جَاعِلٌ فِي الْأَرْضِ خَلِيفَةً

اور جب تیرے رب نے فرشتوں سے کہا:میں زمین میں ایک جانشین بنانے والا ہوں [البقرۃ ۳۰ القرآن]۔

٤. تقاطُع کی تعریف

𝒘 = 𝒙 ∩ 𝒚 ↔ ∀𝒛 (𝒛 ϵ 𝒘 ↔ 𝒛 ϵ 𝒙 ∧ 𝒛 ϵ 𝒚)

تعارف

 ڈبلیو، ایکس اور وائے کا تقاطُع ہے اگر اور صرف اگر ہر زیڈ کے لیے (زیڈ، ڈبلیو کا عنصر ہے اگر اور صرف اگر زیڈ، ایکس کا عنصر ہے اور زیڈ، وائے کا عنصر ہے)۔

فلسفیانہ شرح

تقاطُع کا تصور "مشترکہ حقیقت" یا "اجتماع نقطہ" کے فلسفیانہ خیال سے متعلق ہے۔ منطق میں "اور" کا عمل بھی اسی طرح کام کرتا ہے۔ صوفیا کے ہاں "وحدت الوجود" یا "وحدت الشہود" کا نظریہ بھی تقاطُع کے تصور سے کچھ مشابہت رکھتا ہے، جہاں تمام مظاہر ایک حقیقت میں مشترک ہیں۔

منطقی شرح

یہ تعریف "اور" ∧ کے منطقی عمل پر مبنی ہے۔ تقاطُع وہ عناصر پر مشتمل ہوتا ہے جو دونوں طاقموں میں مشترک ہوں۔ منطقی طور پر، اگر 

𝒛 ϵ 𝒙 ∩ 𝒚, ∵ 𝒛 ϵ 𝒙 ∧ 𝒛 ϵ 𝒚

 دونوں سچ ہونے چاہئیں۔

ریاضیاتی شرح

تقاطُع کے اہم خواص

 𝒙 ∩ 𝒚 = 𝒚 ∩ 𝒙 (تبادلی)

 𝒙 ∩ 𝒙 = 𝒙 (تکرار)

 𝒙 ∩ Ø = Ø

if 𝒙 ⊆ 𝒚,  ∵ 𝒙 ∩ 𝒚 = 𝒙

مثال: اگر

 𝒙 = {1, 2, 3} ∧ 𝒚 = {2, 3, 4}, ∵ 𝒙 ∩ 𝒚 = {2, 3}

شعری و ادبی شرح

شاعری میں "اتحاد" یا "مشترکہ محبت" کا تصور تقاطُع سے مشابہت رکھتا ہے۔ غالب کا شعر

کہتے ہیں جس کو عشق،وہ ہوتی ہے ہنگامہ برپا

میرا مسئلہ ہے کہ میں اپنے سے ہوں ہنگامہ برپا

یہاں "میں" اور "عشق" دو طاقم ہیں، اور ان کا تقاطُع "ہنگامہ برپا" ہے۔

روحانی و مذہبی شرح

مذاہب کے درمیان مشترکہ تعلیمات تقاطُع کے تصور کی مانند ہیں۔ مثال کے طور پر، توحید کا عقیدہ اسلام، عیسائیت اور یہودیت میں مشترک ہے۔ قرآن میں ہے

قُلْ يَا أَهْلَ الْكِتَابِ تَعَالَوْا إِلَىٰ كَلِمَةٍ سَوَاءٍ بَيْنَنَا وَبَيْنَكُمْ

کہہ دیجئے اے اہل کتاب! آؤ ایک ایسی بات کی طرف جو ہمارے اور تمہارے درمیان یکساں ہے [آل عمران ٦٤ القُرآن]۔

٥. واحدہ کی تعریف

𝑺𝑰𝑵𝑮(𝒙) ↔ ∃𝒚 ϵ 𝒙 ∀𝒛 ϵ 𝒙 (𝒛 = 𝒚)

تعارف

ایکس واحدہ ہے اگر اور صرف اگر ایکس میں ایک ایسا وائے موجود ہے کہ ایکس کے ہر زیڈ کے لیے، زیڈ = وائے ہے۔

فلسفیانہ شرح

واحدہ کا تصور "وحدت" کے فلسفیانہ مسئلے سے متعلق ہے۔ یہ پوچھتا ہے: "ایک" کیا ہے؟ فلسفے میں "واحد" کی ماہیت پر بہت غور کیا گیا ہے۔ پارمینڈیز نے "واحد" کو حقیقی وجود قرار دیا تھا۔ اسلامی فلسفے میں بھی "واحد" خدا کی صفت ہے۔

منطقی شرح

منطقی طور پر، یہ تعریف کہتی ہے کہ ایکس میں صرف ایک ہی عنصر ہے۔ 

∃𝒚 ϵ 𝒙

 کہتا ہے کہ کم از کم ایک وائے ہے، اور "

∀𝒛 ϵ 𝒙 (𝒛 = 𝒚)

 کہتا ہے کہ زیادہ سے زیادہ بھی ایک ہی ہے۔ یہ "بالکل ایک" کا تصور دیتا ہے۔

ریاضیاتی شرح

سنگلٹن کی خصوصیات

 اگر واحدہ(ایکس)، تو |ایکس| = ۱

 ہر عنصر اے کے لیے، {اے} ایک واحدہ ہے

· سنگلٹن کا طاقمِ طاقم: پی({اے}) = {∅, {اے}}

شعری و ادبی شرح

شاعری میں "یکتائی" یا "انفرادیت" کا تصور سنگلٹن سے مشابہت رکھتا ہے۔ اقبال کا شعر:

ہزاروں سال نرگس اپنی بے نوری پہ روتی ہے

بڑی مشکل سے ہوتا ہے چمن میں دیدہ ور پیدا

یہاں "دیدہ ور" ایک واحدہ ہے، چمن (طاقم) میں صرف ایک ہی دیدہ ور موجود ہے۔

روحانی و مذہبی شرح

توحید کا اسلامی عقیدہ واحدہ کے تصور کی عظیم ترین مثال ہے۔ "لا إله إلا الله" کا مطلب ہے کہ معبودوں کے طاقم میں صرف ایک ہی حقیقی عنصر (اللہ) ہے۔ قرآن میں ہے:

قُلْ هُوَ اللَّهُ أَحَدٌ اللَّهُ الصَّمَدُ

کہہ دو وہ اللہ ایک ہے، اللہ بے نیاز ہے [الاخلاص ۲-۱ القرآن]۔

نتیجہ: تعریفوں کا باہمی ربط اور اہمیت

یہ پانچ تعریفیں مل کر نظریۂ طاقم کی بنیاد بناتی ہیں

١. تسلسل کی تعمیر: طاقِمِ مُعَرّیٰ سے شروع کر کے جانشین (S(x)) کے عمل سے قدرتی اعداد بنتے ہیں۔

٢. تعلقات کی وضاحت: ذیلی طاقم (⊆) کا تعلق دیگر تعریفوں کو مربوط کرتا ہے۔

٣. عملیات کی بنیاد: اشتراک (∩) دیگر مجموعی عملیات (اجتماع، فرق) کی بنیاد ہے۔

٤. بنیادی اکائی: واحدہ "ایک" کے تصور کو واضح کرتا ہے۔

یہ تعریفیں نہ صرف ریاضی کی بنیاد ہیں بلکہ انسانی فکر کے بنیادی ڈھانچے کو بھی ظاہر کرتی ہیں۔ وہ ہمیں سکھاتی ہیں کہ کیسے پیچیدہ تصورات کو سادہ اور واضح تعریفوں میں بیان کیا جا سکتا ہے۔ ان تعریفوں کی روشنی میں ہم دیکھتے ہیں کہ ریاضی محض عددوں اور اشکال کا علم نہیں، بلکہ فکر و فلسفہ کی ایک اعلیٰ صورت ہے جو کائنات کے بھیدوں کو سمجھنے کا ذریعہ ہے۔

فقط

سُہیل طاہر

سیالکوٹ

مُسَلِّمَهٔ وُجُود

مُسَلِّمَهٔ تَوسِیع

مُسَلِّمَهٔ زَوج ساز

مُسَلِّمَهٔ تَفْہِیم

مُسَلِّمَهٔ اِتِحاد

مُسَلِّمَهٔ اَسَاس

مُسَلِّمَهٔ طاقِمِ قُوَّۃ