# 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:<<(<+)>>(Baggy , Baggy --> Bool)

Returns `True`

if `$a`

is a Baggy **subset** of `$b`

, i.e., if all the elements of `$a`

are in `$b`

and each element of `$b`

is weighed at least as heavily as the element is in `$a`

.

### infix ≼

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

Baggy subset of operator (alternate).

Equivalent to (<+), at codepoint U+227C (PRECEDES OR EQUAL TO).