for x being object
for X being non empty functional set st ( for f being Function st f in X holds
x in dom f ) holds
x in DOM X