for A being set holds id A in Funcs (A,A)