# infix (<=), infix ⊆

Documentation for infix `(<=), infix ⊆`

assembled from the following types:

# language documentation Sets, bags, and mixes

## (Sets, bags, and mixes) infix (<=), infix ⊆

Returns `True`

if `$a`

is a **subset** or is equal to `$b`

, else False. More information, Wikipedia definition.

# language documentation Operators

From Operators

## (Operators) infix (<=), infix ⊆

multi sub infix:<< (<=) >>(, --> Bool)multi sub infix:<⊆>(, --> Bool)

Subset of or equal to operator.

Returns `True`

if `$a`

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

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

are elements of `$b`

but `$a`

is a smaller or equal sized set than `$b`

.

say (1,2,3) (<=) (2,3,1); # OUTPUT: «True»say (2,3) (<=) (2,3,1); # OUTPUT: «True»say 4 ⊆ (1,2,3); # OUTPUT: «False»

`⊆`

is equivalent to `(<=)`

, at codepoint U+2286 (SUBSET OF OR EQUAL TO).