Algosim documentation: ⊋

⊋ (proper subset of)

Tests for a proper superset relation.

Syntax

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