# Documentation for infix (<=)

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

# language documentation Sets, Bags, and Mixes

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

multi sub infix:<<(<=)>>(Any , Any --> Bool)multi sub infix:<<(<=)>>(Setty , Setty --> 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:<⊆>(, --> Bool)

Subset of or equal to operator (alternate).

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

### infix ⊈

only sub infix:<⊈>(, --> Bool)

Neither subset of nor equal to operator.

Equivalent to `!(<=)`

, at codepoint U+2288 (NEITHER A SUBSET OF NOR EQUAL TO).