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.

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