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

Returns True if $a is a strict subset of $b, i.e., that all the elements of $a are elements of $b but $a is a smaller set than $b.

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

infix ⊂

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

Subset of operator (alternate).

Equivalent to (<), at codepoint U+2282 (SUBSET OF).

infix ⊄

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

Not a subset of operator.

Equivalent to !(<), at codepoint U+2284 (NOT A SUBSET OF).

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