for X being set holds the multF of (GFuncs X) = (X -composition) || (Funcs (X,X))