for B being non empty non void ManySortedSign
for T, C being non-empty MSAlgebra over B
for X being V2() GeneratorSet of T
for g being set st g in C -States X holds
g is ManySortedFunction of X, the Sorts of C