Implies-subset relation