Documentation for infix (<=)

Documentation for infix (<=), assembled from the following types:

language documentation Sets, Bags, and Mixes

From Sets, Bags, and Mixes

(Sets, Bags, and Mixes) infix (<=)

multi sub infix:<<(<=)>>(Any $aAny $b --> Bool)
multi sub infix:<<(<=)>>(Setty $aSetty $b --> Bool)

Subset of or equal to operator.

Returns True if $a is a subset or is equal to $b, i.e., if all the elements of $a are elements of $b and $a is a smaller or equal sized set than $b.

infix ⊆

only sub infix:<>($a$b --> Bool)

Subset of or equal to operator (alternate).

Equivalent to (<=), at codepoint U+2286 (SUBSET OF OR EQUAL TO).

infix ⊈

only sub infix:<>($a$b --> Bool)

Neither subset of nor equal to operator.

Equivalent to !(<=), at codepoint U+2288 (NEITHER A SUBSET OF NOR EQUAL TO).