Definition:Compact Complement Space