⊋ (proper subset of)

Tests for a proper 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 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)