Definition:Inverse Subset