for A being set holds {} is Function of A,{} by FUNCT_2:130;