نگاشت شمول

در ریاضیات، زمانی که  زیرمجموعه‌ای از باشد نگاشت شمول () تابع  است که هر عنصر  در مجموعهٔ   را به  به عنوان عنصری در مجموعهٔ  متصل می‌کند:

گاه برای نشان دادن نگاشت شمول از یک «فلش قلاب‌شکل» () استفاده می‌شود؛ یعنی: 

نگاشت شمول و دیگر توابع یک‌به‌یک, p. 1. در  معمولاً با عنوان تزریق طبیعی  شناخته می‌شوند.

برای هر ریخت f بین رسته‌های  X و Y, اگر نگاشت شمولی در دامنهٔ وجود داشته باشد، آنگاه می‌توان تابع fi ازf را ساخت. در بسیاری موارد، می‌توان نگاشتی متعارف در دامنه مشترک R→Y ساخت که با عنوان برد f شناخته می‌شود.

 جستارهای وابسته 
 تابع همانی

 منابع 

 پیوند به بیرون 

رده:توابع و نگاشت‌ها
رده:مفاهیم پایه در نظریه مجموعه‌ها