Documentation for infix (<=), infix ⊆
assembled from the following pages:
Language documentation: Operators §
From Operators
(Operators) infix (<=), infix ⊆ §
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»
Language documentation: Sets, bags, and mixes §
(Sets, bags, and mixes) infix (<=), infix ⊆ §
Returns True
if $a
is a subset or is equal to $b
, else False
. More information, Wikipedia definition.