∂ part of node [[proper-subset]]

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.