spire.optional.powerSetPartialOrder
Set partial order defined as follows:
S <= T if S is a subset of T.
Set partial order defined as follows:
S <= T if S is a subset of T.