proper subset

• S1 is a proper subset of S2 [[iif]] S2 has some items which aren’t in S1. That is, they are not equal.