⊇ (superset of or equal to)
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)