⊋ (proper subset of)
Tests for a proper superset relation.
Syntax

A ⊋ B

A
andB
are sets

Description
If A
and B
are sets, then A ⊋ B
is true
iff A
is a proper superset of B
, that is, iff every element of B
is also an element of A
but A ≠ B
.
The ⊋
operator is mapped to the ProperSuperset
function.
Examples
{ 1, 2, 3, 4 } ⊋ { 1, 2, 3 }
true
See also

Set operators (list)