for X being set
for f being Function st X in dom (.: f) holds
(.: f) . X = f .: X