for C being non empty set
for c being Element of C
for f being PartFunc of C,COMPLEX st c in dom (f ^) holds
f /. c <> 0