Definition:Closed Extension Space