⊃ (superset of)
Tests for a 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 superset of B
, that is, iff every element of B
is also an element of A
.
The operators ⊃
and ⊇
are both mapped to the superset
function; they are exactly the same.
Examples
{ 1, 2, 3, 4 } ⊃ { 1, 2, 3 }
true
See also

Set operators (list)