متناظر تعلق

آزاد دائرۃ المعارف، ویکیپیڈیا سے
:چھلانگ بطرف رہنمائی، تلاش

ریاضیات میں طاقم S پر تثنیہ تعلق متناظر ہو گی اگر یہ سچ ہو طاقم میں ہر a اور b کے لیے کہ جب a کا b سے تعلق ہو تو پھر b کا بھی a سے تعلق ہو گی۔

ریاضیاتی علامت میں یوں لکھیں گے:

\forall a, b \in X,\ a R b \Rightarrow \; b R a.