Definition:Finite Complement Space