Definition:Open Extension Space