for x being Point of R^1
for M being a_neighborhood of x ex N being Neighbourhood of x st N c= M