Zwei Abbildungen α , β : L → P {\displaystyle {}\alpha ,\beta \colon L\rightarrow P} sind genau dann gleich, wenn für jedes x ∈ L {\displaystyle {}x\in L} die Gleichheit α ( x ) = β ( x ) {\displaystyle {}\alpha (x)=\beta (x)} gilt. Es sei also x ∈ L {\displaystyle {}x\in L} . Dann ist