funktional

Eine Relation $R\subseteq M\times N$ zwischen zwei Mengen $M$ un $N$ heißt
funktional (oder rechtseindeutig) wenn für alle $x\in M$ und $y,z\in N$ gilt: $xRy\wedge xRz⟹y=z$