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.

say (123).Set (<=) (321).Set;    # OUTPUT: «True␤» 
say (13).Set (<=) (21).Set;          # OUTPUT: «False␤» 
say ∅ (<=) (321).Set;                # OUTPUT: «True␤» 

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).

say (123).Set !(<=) (321).Set;   # OUTPUT: «False␤» 
say (13).Set  (21).Set;             # OUTPUT: «True␤»