Proper Subset Relation

A Proper Subset Relation is a Subset Relation that is False If X1X2.