infix (<=) , infix ⊆
Documentation for infix (<=) , infix ⊆ assembled from the following types:
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).