Skoða frumkóða fyrir Ívarp

'''Ívarp'''<ref>[http://stæ.is/os/sedill/3509 '''inclusion mapping''' 1. ívarp] = [http://stæ.is/os/sedill/3507 inclusion] 2, [http://stæ.is/os/leita/inclusion%20function inclusion function]</ref> er [[eintæk vörpun]] <math>i</math> sem varpar [[mengi]] á sjálft sig, þ.e. sérhvert [[stak]] í [[formengi]] vörpuninnar hefur eitt og aðeins eitt stak í [[bakmenginu]], sem er jafnt stak úr formenginu. svo að:<ref>[http://mathworld.wolfram.com/InclusionMap.html Inclusion Map] á [[Wolfram MathWorld]]</ref>

<math>i: A\rightarrow B, \qquad i(x)=x.</math>

fyrir öll ''x'' í <math>A</math> ef <math>A</math> er [[hlutmengi]] í <math>B</math>. [[Fallgildi]] ívarpsins er stök í mengi [[fastapunktur|fastapunkta]] fallsins og ívarp er skv. skilgreiningu [[gagntækt fall]].

== Tilvísanir ==
<div class="references-small"><references /></div>

== Tengt efni ==
* [[Hlutleysa]]
* [[Náttúrulegt ívarp]]<!-- natural injection, canonical injection -->
* [[Samsemdarvörpun]]

[[Flokkur:Fallafræði]]