Algosim documentation: ⊃

⊃ (superset of)

Tests for a superset relation.

Syntax

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