for Z being open Subset of REAL
for f being Function of REAL,REAL holds dom (f | Z) = Z