مختصر کردن در فرهنگ لغات ها (دهخدا،معین و ... ) + سایر منابع اطلاعاتی

اجمال

کوتاه کردن، خلاصه کردن، تلخیص کردن،
(متضاد) مطول کردن، اطناب دادن، طول و تفصیل دادن

هنگیراندن کوتاه کردن (مصدر) کوتاه کردن مطلبی و سخنی را: مختصرکردم چو آمد ده پدید خود نبود آن ده ره دیگر گزید. (مثنوی)