for X being set st ( for f, g being Function st dom f = X & dom g = X holds
f = g ) holds
X = {}