for f being non-empty real-valued Function holds dom (f ^) = dom f