for x, X being set holds
( x is Element of (GFuncs X) iff x is Function of X,X )