نگاشت شمول

در ریاضیات، زمانی که A زیرمجموعه ای از B باشد نگاشت شمول ( انگلیسی: Inclusion map ) تابع ι است که هر عنصر x در مجموعهٔ A را به x به عنوان عنصری در مجموعهٔ B متصل می کند:
گاه برای نشان دادن نگاشت شمول از یک «فلش قلاب شکل» ( U+21AA ↪ rightwards arrow with hook ) [ ۱] استفاده می شود؛ یعنی: ι : A ↪ B .
نگاشت شمول و دیگر توابع یک به یک[ ۲] در زبرساختارها معمولاً با عنوان تزریق طبیعی ( به انگلیسی: natural injections ) شناخته می شوند.
برای هر ریخت f بین رسته های X و Y, اگر نگاشت شمولی در دامنهٔ ι : A → X وجود داشته باشد، آنگاه می توان تابع fi ازf را ساخت. در بسیاری موارد، می توان نگاشتی متعارف در دامنه مشترک R→Y ساخت که با عنوان برد f شناخته می شود.