for z0 being Complex
for g being Real st 0 < g holds
{ y where y is Complex : |.(y - z0).| < g } is Neighbourhood of z0