Definition:Open Neighborhood of Point