for z0 being Complex
for N being Neighbourhood of z0 holds z0 in N