double-pointed cofinite topology