Konstant/Prädikatenlogisch/Aufgabe/Lösung

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

${\displaystyle {}F(x)=y\,}$

${\displaystyle \exists y\in M(\forall x\in L(F(x)=y)).}$