⊃ (superset of)

Tests for a superset relation.

Syntax

• A ⊃ B

  • A and B 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)