for S being non empty non void ManySortedSign
for A being non-empty MSAlgebra over S
for F being ManySortedFunction of A,(Trivial_Algebra S) holds F is_epimorphism A, Trivial_Algebra S