Definition:Improper Subset