Critical pair (order theory)
வரிசைக் கோட்பாட்டில், கணிதத்திற்குள் ஒரு துறை, ஒரு முக்கியமான ஜோடி என்பது ஓரளவு வரிசைப்படுத்தப்பட்ட தொகுப்பில் உள்ள ஒரு ஜோடி உறுப்புகள் ஆகும், அவை ஒப்பிட முடியாதவை, ஆனால் பகுதி வரிசையில் வேறு எந்த மாற்றங்களும் தேவையில்லாமல் ஒப்பிடக்கூடியவை. முறைப்படி, ஓரளவு வரிசைப்படுத்தப்பட்ட தொகுப்பாக இருக்கட்டும். பின்னர் ஒரு முக்கியமான ஜோடி என்பது பின்வரும் மூன்று பண்புகளைக் கொண்ட ஒரு வரிசைப்படுத்தப்பட்ட ஜோடி உறுப்புகளாகும்ஃ மேலும் அவை ஒப்பிட முடியாதவை, ஒவ்வொன்றிற்கும், பின்னர், பின்னர், பின்னர் ஒவ்வொன்றிற்கும். ஒரு முக்கியமான ஜோடி என்றால், ஒற்றை உறவைச் சேர்ப்பதன் மூலம் பெறப்பட்ட பைனரி உறவும் ஒரு பகுதி வரிசையாகும். முக்கியமான ஜோடிகளுக்குத் தேவையான பண்புகள், உறவு சேர்க்கப்படும்போது, சேர்ப்பது இடைநிலைச் சொத்தின் எந்த மீறல்களையும் ஏற்படுத்தாது என்பதை உறுதி செய்கிறது. ஒரு நேரியல் நீட்டிப்பு இருந்தால், நேரியல் நீட்டிப்புகளின் தொகுப்பு ஒரு முக்கியமான ஜோடியை தலைகீழாக மாற்றுவதாகக் கூறப்படுகிறது, இதற்கு முன்னதாகவே நிகழ்கிறது. வரையறுக்கப்பட்ட பகுதி வரிசைகளின் உணர்த்திகளை வகைப்படுத்த இந்த பண்பு பயன்படுத்தப்படலாம்ஃ ஒவ்வொரு முக்கியமான ஜோடியையும் மாற்றியமைத்தால் மட்டுமே நேரியல் நீட்டிப்புகளின் காலியாக இல்லாத தொகுப்பு ஒரு உணர்தலாகும். குறிப்புகள். ஒழுங்கு கோட்பாடு