Symbol: HasInSubset