ProperSuperset

Implements the ⊋ operator.

See also

• ⊋