Definition:Included Set Space