Added more examples

Author: Jan-Olof Hendig

doc/Language/setbagmix.pod6

@@ -102,6 +102,9 @@ X<Membership operator>.
 
 Returns C<True> if C<$a> is an B<element> of C<$b>.
 
+    say 2 (elem) (1, 2, 3).Set;              # OUTPUT: «True␤»
+    say 4 (elem) (1, 2, 3).Set;              # OUTPUT: «False␤»
+
 =head4 infix ∈
 
     only sub infix:<∈>($a, $b --> Bool)
@@ -119,6 +122,9 @@ X<Non-membership operator>.
 Equivalent to C<!(elem)>, i.e., returns C<True> if C<$a> is not an element
 of C<$b>, at codepoint U+2209 (NOT AN ELEMENT OF).
 
+    say 2 !(elem) (1, 2, 3).Set;             # OUTPUT: «False␤»
+    say 4 !(elem) (1, 2, 3).Set;             # OUTPUT: «True␤»
+
 =head3 infix (cont)
 
     multi sub infix:<(cont)>(Any $a, $b --> Bool)
@@ -128,6 +134,9 @@ X<Contains operator>.
 
 Returns C<True> if C<$a> B<contains> C<$b> as an element.
 
+    say (1, 2, 3).Set (cont) 2;              # OUTPUT: «True␤»
+    say (1, 2, 3).Set (cont) 4;              # OUTPUT: «False␤»
+
 =head4 infix ∋
 
     only sub infix:<∋>($a, $b --> Bool)
@@ -145,6 +154,9 @@ X<Does not contain operator>.
 Equivalent to C<!(cont)>, i.e., returns C<True> if C<$a> does not contain
 C<$b>, at codepoint U+220C (DOES NOT CONTAIN AS MEMBER).
 
+    say (1, 2, 3).Set !(cont) 2;             # OUTPUT: «False␤»
+    say (1, 2, 3).Set !(cont) 4;             # OUTPUT: «True␤»
+
 =head3 infix (<=)
 
     multi sub infix:<<(<=)>>(Any $a, Any $b --> Bool)
@@ -156,6 +168,10 @@ Returns C<True> if C<$a> is a B<subset> or is equal to C<$b>, i.e., if all
 the elements of C<$a> are elements of C<$b> and C<$a> is a smaller or equal
 sized set than C<$b>.
 
+    say (1, 2, 3).Set (<=) (3, 2, 1).Set;    # OUTPUT: «True␤»
+    say (1, 3).Set (<=) (2, 1).Set;          # OUTPUT: «False␤»
+    say ∅ (<=) (3, 2, 1).Set;                # OUTPUT: «True␤»
+
 =head4 infix ⊆
 
     only sub infix:<⊆>($a, $b --> Bool)
@@ -172,6 +188,9 @@ X<Neither subset of nor equal to operator>.
 
 Equivalent to C«!(<=)», at codepoint U+2288 (NEITHER A SUBSET OF NOR EQUAL TO).
 
+    say (1, 2, 3).Set !(<=) (3, 2, 1).Set;   # OUTPUT: «False␤»
+    say (1, 3).Set ⊈ (2, 1).Set;             # OUTPUT: «True␤»
+
 =head3 infix (<)
 
     multi sub infix:<<(<)>>(Any $a, Any $b --> Bool)
@@ -183,6 +202,10 @@ Returns C<True> if C<$a> is a B<strict subset> of C<$b>, i.e., that all the
 elements of C<$a> are elements of C<$b> but C<$a> is a smaller set than
 C<$b>.
 
+    say (1, 2, 3).Set (<) (3, 2, 1).Set;     # OUTPUT: «False␤»
+    say (1, 3).Set (<) (3, 2, 1).Set;        # OUTPUT: «True␤»
+    say ∅ (<) (3, 2, 1).Set;                 # OUTPUT: «True␤»
+
 =head4 infix ⊂
 
     only sub infix:<⊂>($a, $b --> Bool)
@@ -199,6 +222,9 @@ X<Not a subset of operator>.
 
 Equivalent to C«!(<)», at codepoint U+2284 (NOT A SUBSET OF).
 
+    say (1, 2, 3).Set !(<) (3, 2, 1).Set;    # OUTPUT: «True␤»
+    say (1, 3).Set ⊄ (3, 2, 1).Set;          # OUTPUT: «False␤»
+
 =head3 infix (>=)
 
     multi sub infix:<<(>=)>>(Any $a, Any $b --> Bool)
@@ -209,6 +235,10 @@ X<Superset of or equal to operator>.
 Like L«(<=)» with reversed arguments. Returns C<True> if C<$a> is a
 B<superset> of or equal to C<$b>.
 
+    say (1, 2, 3).Set (>=) (3, 2, 1).Set;    # OUTPUT: «True␤»
+    say (1, 3).Set (>=) (3, 2, 1).Set;       # OUTPUT: «False␤»
+    say ∅ (>=) (3, 2, 1).Set;                # OUTPUT: «False␤»
+
 =head4 infix ⊇
 
     only sub infix:<⊇>($a, $b --> Bool)
@@ -226,6 +256,9 @@ X<Neither a superset of nor equal to operator>.
 Equivalent to C«!(>=)», at codepoint U+2289 (NEITHER A SUPERSET OF
 NOR EQUAL TO).
 
+    say (1, 2, 3).Set !(>=) (3, 2, 1).Set;   # OUTPUT: «False␤»
+    say (1, 3).Set ⊉ (3, 2, 1).Set;          # OUTPUT: «True␤»
+
 =head3 infix (>)
 
     multi sub infix:<<(>)>>(Any $a, Any $b --> Bool)
@@ -236,6 +269,10 @@ X<Superset of operator>.
 Like L«(<)» with reversed arguments. Returns C<True> if C<$a> is a
 B<strict superset> of C<$b>.
 
+    say (1, 2, 3, 4).Set (>) (3, 2, 1).Set;  # OUTPUT: «True␤»
+    say (1, 3).Set (>) (3, 2, 1).Set;        # OUTPUT: «False␤»
+    say ∅ (>) (3, 2, 1).Set;                 # OUTPUT: «False␤»
+
 =head4 infix ⊃
 
     only sub infix:<⊃>($a, $b --> Bool)
@@ -252,6 +289,9 @@ X<Not a superset of operator>.
 
 Equivalent to C«!(>)», at codepoint U+2285 (NOT A SUPERSET OF).
 
+    say (1, 2, 3, 4).Set !(>) (3, 2, 1).Set; # OUTPUT: «False␤»
+    say (1, 3).Set ⊅ (3, 2, 1).Set;          # OUTPUT: «True␤»
+
 =head3 infix (<+)
 
     multi sub infix:<<(<+)>>(Any $a, Any $b --> Bool)
@@ -263,6 +303,9 @@ Returns C<True> if C<$a> is a Baggy B<subset> of C<$b>, i.e., if all the
 elements of C<$a> are in C<$b> and each element of C<$b> is weighed at
 least as heavily as the element is in C<$a>.
 
+    say (1, 2, 3).Bag (<+) (3, 2, 1).Bag;    # OUTPUT: «True␤»
+    say (1, 2, 2, 3).Bag (<+) (3, 2, 1).Bag; # OUTPUT: «False␤»
+
 =head4 infix ≼
 
     only sub infix:<≼>($a, $b --> Bool)
@@ -282,6 +325,10 @@ Returns C<True> if C<$a> is a Baggy B<superset> of C<$b>, i.e., if all the
 elements of C<$b> are in C<$a> and no element of C<$b> is weighted heavier
 than that element is in C<$a>.
 
+    say (1, 2, 3).Bag (>+) (3, 2, 1).Bag;    # OUTPUT: «True␤»
+    say (1, 2, 2, 3).Bag (>+) (3, 2, 1).Bag; # OUTPUT: «True␤»
+    say (1, 2).Bag (>+) (3, 2, 1).Bag;       # OUTPUT: «False␤»
+
 =head4 infix ≽
 
     only sub infix:<≽>($a, $b --> Bool)