for E being non empty set ex f being Function st
( dom f = E & ( for d being Element of E holds f . d = f .: d ) )