Definition:Points Separated by Neighborhoods