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