The term redex, short for reducible expression, refers to subterms that can be reduced by one of the reduction rules.
اصطلاح redex، کوتاهی برای عبارت reducible refers to subterms که می‌تواند توسط یکی از قوانین کاهش کاهش یابد.