Rasiowa–Sikorski lemma
தன்னியக்க தொகுப்புக் கோட்பாட்டில், ராசியோவா-சிகோர்ஸ்கி லெம்மா (ஹெலினா ராசியோவா மற்றும் ரோமன் சிகோர்ஸ்கி ஆகியோரின் பெயரால் பெயரிடப்பட்டது) கட்டாயப்படுத்தும் நுட்பத்தில் பயன்படுத்தப்படும் மிக அடிப்படையான உண்மைகளில் ஒன்றாகும். கட்டாயப்படுத்தும் பகுதியில், ஒரு நிலைப்பாட்டின் (P, ≤) ஒரு துணைக்குழு E என்பது P இல் அடர்த்தியானது என்று அழைக்கப்படுகிறது, எந்த p ω P க்கும் e ω P உடன் e ω E இருந்தால். D என்பது P இன் அடர்த்தியான துணைக்குழுக்களின் குடும்பமாக இருந்தால், பின்னர் P இல் உள்ள ஒரு வடிகட்டி F என்பது D-ஜெனரிக் என்று அழைக்கப்படுகிறது, F ω E ω D என்றால். இப்போது நாம் ராசியோவா-சிகோர்ஸ்கி லெம்மாவைக் குறிப்பிடலாம்ஃ (P, ω) ஒரு நிலைப்பாட்டை மற்றும் p ω P ஆக இருக்கட்டும். D என்பது P இன் அடர்த்தியான துணைக்குழுக்களின் கணக்கிடக்கூடிய குடும்பமாக இருந்தால், P இல் ஒரு D-ஜெனரிக் வடிகட்டி F உள்ளது. அனுமானத்தின் படி, p ω P உள்ளது. பின்னர் அடர்த்தியின் அடிப்படையில், p1 ω D1 உடன் p1 ω p உள்ளது. மீண்டும், ஒருவர் பெறுகிறார். ≤ p2 ≤ p1 ≤ p பை உடன். பின்னர் G = {q ωP: HEI, q ωπ} ஒரு D-ஜெனரிக் வடிகட்டி ஆகும். ராசியோவா-சிகோர்ஸ்கி லெம்மாவை மார்ட்டினின் கோட்பாட்டின் பலவீனமான வடிவத்திற்கு சமமானதாக பார்க்க முடியும். மேலும் குறிப்பாக, இது எம்ஏ () க்கு சமம். எடுத்துக்காட்டுகள் (P, ≤) = (ஃபங்க் (X, Y),), X முதல் Y வரையிலான பகுதி சார்புகளின் நிலை, சேர்ப்பதன் மூலம் தலைகீழாக வரிசைப்படுத்தப்படும், Dx = {s ωP: x ω (s)} ஐ வரையறுக்கவும். X கணக்கிடத்தக்கதாக இருந்தால், ராசியோவா-சிகோர்ஸ்கி லெம்மா ஒரு {Dx: x bul X}-ஜெனரிக் வடிகட்டி F ஐ வழங்குகிறது, இதனால் ஒரு செயல்பாடு F: X → Y. டி-ஜெனரிக் வடிப்பான்களைக் கையாள்வதில் பயன்படுத்தப்படும் குறியீட்டை நாம் கடைப்பிடித்தால், {H ≤ G0: PijPt} ஒரு எச்-ஜெனரிக் வடிப்பானை உருவாக்குகிறது. டி கணக்கிட முடியாதது, ஆனால் கார்டினாலிட்டி 2 ஆல்ஃப் 0 ஐ விட கண்டிப்பாக சிறியது மற்றும் போசெட்டில் கணக்கிடக்கூடிய சங்கிலி நிலை இருந்தால், அதற்கு பதிலாக மார்ட்டினின் கோட்பாட்டைப் பயன்படுத்தலாம். மேலும் காண்க குறிப்புகள் வெளிப்புற இணைப்புகள் திமோதி சோவின் கட்டுரை கட்டாயப்படுத்துவதற்கான ஒரு தொடக்க வழிகாட்டி என்பது கட்டாயப்படுத்தியதன் பின்னணியில் உள்ள கருத்துக்கள் மற்றும் யோசனைகளுக்கு ஒரு நல்ல அறிமுகமாகும். செட் கோட்பாட்டில் கட்டாயப்படுத்துதல் (கணிதம்) லெம்மாஸ்