Definition:Separated by Open Sets