Ívarp

Ívarpinclusion mapping 1. ívarp = inclusion 2, inclusion function er eintæk vörpun  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ð:Inclusion Map á Wolfram MathWorld

fyrir öll x í  ef  er hlutmengi í . Fallgildi ívarpsins er stök í mengi fastapunkta fallsins og ívarp er skv. skilgreiningu gagntækt fall.

 Tilvísanir 

 Tengt efni 
 Hlutleysa
 Náttúrulegt ívarp
 Samsemdarvörpun

Flokkur:Fallafræði