Description: Define a relation which corresponds to proper subsethood df-pss on sets. This allows to use proper subsethood with general concepts that require relations, such as strict ordering, see sorpss . (Contributed by Stefan O'Rear, 2-Nov-2014)