Definition:Points Separated by Open Sets