C இல் உள்ள ஒவ்வொரு சிக்கலையும் X க்கு குறைக்க முடியும்.
ஒரு ப்ரோப்லேம் (problem) X, ஒரு கிளாஸ் (class) ப்ரோப்லேம் (problem) C க்கு கடினமாக இருந்தால், C இல் உள்ள ஒவ்வொரு ப்ரோப்லேம் (problem) யையும் X க்கு குறைக்க முடியும். எனவே, C இல் உள்ள எந்த ப்ரோப்லேம் (problem) X ஐ விட கடினமாக இல்லை, ஏனெனில் X க்கான ஒரு அல்கோரிதம் (algorithm) C இல் எந்தவொரு ப்ரோப்லேம் (problem) யையும் தீர்க்க நமக்கு உதவுகிறது.
குறைப்பு சூழலில் ஒரு ப்ரோப்லேம் (problem) X மற்றும் ப்ரோப்லேம் (problem) C இடையே மோதலை எது உருவாக்கும்?