for i being Element of NAT
for f being PartFunc of (REAL i),REAL holds dom (<>* f) = dom f