for m being non zero Element of NAT
for i being Element of NAT
for f being PartFunc of (REAL m),REAL
for X being non empty Subset of (REAL m)
for d being Real st X is open & f = X --> d & 1 <= i & i <= m holds
f `partial| (X,i) = X --> 0