نمایش مبدأ برای نگاشت شمول

[[پرونده:Venn A subset B.svg|150px|بندانگشتی|''A'' زیرمجموعه‌ای از ''B'' و ''B'' زبرمجموعه‌ای از ''A'' است.]]
در [[ریاضیات]]، زمانی که <math>A</math> [[زیرمجموعه]]‌ای از <math>B</math>باشد '''نگاشت شمول''' ({{lang-en|Inclusion map}}) [[تابع]] <math>\iota</math> است که هر عنصر <math>x</math> در مجموعهٔ  <math>A</math> را به <math>x</math> به عنوان عنصری در مجموعهٔ <math>B</math> متصل می‌کند:

{{ وسط‌چین}}<math>\iota: A\rightarrow B, \qquad \iota(x)=x.</math>
{{پایان وسط‌چین}}
گاه برای نشان دادن نگاشت شمول از یک «فلش قلاب‌شکل» ({{Unichar|21AA|RIGHTWARDS ARROW WITH HOOK|ulink=Unicode}})<ref name="Unicode Arrows">{{cite web| title = Arrows – Unicode| url = https://www.unicode.org/charts/PDF/U2190.pdf| accessdate = 2017-02-07}}</ref> استفاده می‌شود؛ یعنی: <math>\iota: A\hookrightarrow B.</math>

نگاشت شمول و دیگر [[تابع یک‌به‌یک|توابع یک به‌یک]]<ref>{{Citation| first = C. | last = Chevalley | title = Fundamental Concepts of Algebra | year = 1956}}, p. 1.</ref> در {{پم|زبرساختارها|substructure (mathematics)}} معمولاً با عنوان '''تزریق طبیعی''' {{انگلیسی|natural injections}} شناخته می‌شوند.

برای هر [[مورفیزم (ریاضیات)|ریخت]] ''f'' بین [[رسته (ریاضیات)|رسته‌های]]  ''X'' و ''Y'', اگر نگاشت شمولی در [[دامنه یک تابع|دامنهٔ]] <math>\iota : A\rightarrow X</math>وجود داشته باشد، آنگاه می‌توان [[تابع]] ''fi'' از''f'' را ساخت. در بسیاری موارد، می‌توان نگاشتی متعارف در [[دامنه مشترک]] ''R''→''Y'' ساخت که با عنوان [[برد (ریاضی)|برد]] ''f'' شناخته می‌شود.

== جستارهای وابسته ==
* [[تابع همانی]]

== منابع ==
{{پانویس|چپ‌چین=بله}}
* {{یادکرد-ویکی|پیوند =//en.wikipedia.org/w/index.php?title=Inclusion_map&oldid=861654361|عنوان = Inclusion map|زبان =انگلیسی|بازیابی =۵ نوامبر ۲۰۱۸}}
{{-}}
== پیوند به بیرون ==
{{انبار-رده}}

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