for D being non empty set
for F being PartFunc of D,REAL holds F - 0 = F