Definition:Completely Regular Space