Proper Subset

A proper subset is a Subset that is not directly equivalent to the thing it is a subset of. $S^{\prime }\subset S\wedge S^{\prime }\ne S$