Konstant/Prädikatenlogisch/Aufgabe/Lösung

Es gibt ein ${}y\in M$ derart, dass für alle ${}x\in L$ die Gleichheit

{}F(x)=y\,

gilt. Symbolischer:

\exists y\in M(\forall x\in L(F(x)=y)).