Es sei u ∈ M {\displaystyle {}u\in M} mit der Darstellung
Für einen Homomorphismus φ {\displaystyle {}\varphi } mit φ ( x i ) = y i {\displaystyle {}\varphi (x_{i})=y_{i}} für alle i ∈ I {\displaystyle {}i\in I} gilt
Dies legt φ {\displaystyle {}\varphi } auf ganz M {\displaystyle {}M} fest.