Parciális leképezés

1. Sablon:Humatek A $\phi A$-ból $B$-be történő megfeleltetést parciális leképezésnek nevezzük, ha bármely $a\in A$ elemhez legfeljebb egy $b\in B$ elem létezik, amelyre $(a,b)\in \phi$. Egy $A$-ból $B$-be definiált $\phi$ parciális leképezést $\phi :A\to B$ képlettel is jelöljük. Ekkor ha $(a,b)\in \phi$, akkor a $b$ elemet az $a$ elem képének, az a elemet pedig a $b$ elem ősének hívjuk. Ha $b$ az $a$ elem képe a $\phi$ parciális leképezésnél, akkor ezt $b=a\phi$ vagy $b=\phi (a)$ vagy $a\phi :a\to b$ jelölésekkel is jelöljük.

• Sablon:En: Sablon:T