Definition:Complete System of Neighborhoods