در ریاضیات، استخراج حکم یا قاعده ای کلی. در این حالت، نتایج خاص نمونه هایی از آن حکم اند. مثلاً ۳+۵=۵+۳ و ۱.۵+۲.۷=۲.۷+۱.۵ را مصادیقی از حکم کلیa+b = b+a می دانند و این حکم حاصل تعمیم آن هاست. همچنین، این اصطلاح به گسترده کردن دامنۀ مصادیق یک حکم نیز اطلاق می شود. مثلاً قانون یا قضیهای را که برای اعداد حقیقی بیان شده است به صورتی درمی آورند که شامل اعداد مختلط نیز بشود.