for X being set holds permutations X c= Funcs (X,X)