Definition:Sets Separated by Neighborhoods