for X being set
for f being Function st dom f = X holds
X -indexing f = f