مساوات (ریاضی)

مساواتی سے مراد اقداری طور پر اسی حالت میں ہونے کے ہیں۔ رسماً، مساواتی (یا "شناختی تعلق") ایک طاقم X پر تثنیہ تعلق ہے جو یوں تعریف ہوئے ہے
.

شناخت تعلق ایک طاقم پر معادلہ تعلق کا زیادہ جامع تصور ہے: ایسے تثنیہ تعلقات جو منعکسہ، متناضر اور متعدی ہویں۔ مساواتی کا تعلق متناظر شکن بھی ہے۔ یہ چار خوائص کسی بھی طاقم S پر منفردً مساواتی تعلق کو جبر کرتے ہیں اور مساواتی کو S پر واحد تعلق بناتے ہیں جو مساواتی تعلق ہونے کے علاوہ جُزوی مرتب بھی ہے۔ اس سے اخذ ہوتا ہے کہ مساواتی کسی بھی طاقم S پر سب سے چھوٹا معادلہ تعلق ہے، ان معنوں میں کہ یہ S پر کسی بھی معادلہ تعلق کا ذیلی طاقم ہے۔

ایک مساوات سادہً ایسی منطقی ؟؟ کہی ہے کہ دو اظہاریہ کا آپس میں مساواتی کا تعلق ہے۔

ابتدائی حساب
ابتدائی ریاضیات
ریاضیاتی تعلقات
شناخت
منطق ریاضیات
Short description is different from Wikidata