ProperSubset

Implements the ⊊ operator.

See also

• ⊊