Finish bare-bones documentation for Set operators

Author: Mouq

lib/Set.pod

@@ -115,8 +115,8 @@ Equivalent to L«infix:<(-)>».
     multi sub infix:<(^)>(Any $a, Any $b --> Setty)
     multi sub infix:<(^)>(Set $a, Set $b --> Setty)
 
-Returns the C<Set> made up of all the elements that $a has but $b
-doesn't and all the elements $b has but $a doesn't. Equivalent to
+Returns the C<Set> made up of all the elements that C<$a> has but C<$b>
+doesn't and all the elements C<$b> has but C<$a> doesn't. Equivalent to
 C<($a ∖ $b) ∪ ($b ∖ $a)>.
 
 =head2 infix:<⊖>
@@ -125,28 +125,86 @@ C<($a ∖ $b) ∪ ($b ∖ $a)>.
 
 Equivalent to L«infix:<(^)>»
 
-=head2 infix:<(<=)>
+=head2 infix:<<(<=)>>
+
+    multi sub infix:<<(<=)>>(Any $a, Any $b --> Bool)
+    multi sub infix:<<(<=)>>(Setty $a, Setty $b --> Bool)
+
+Returns C<True> if C<$a> is a 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>.
 
 =head2 infix:<⊆>
 
+    only sub infix:<<"\x2286">>($a, $b --> Bool)
+
+Equivalent to L«infix:<(<=)>».
+
 =head2 infix:<⊈>
 
-=head2 infix:<(<)>
+    only sub infix:<<"\x2288">>($a, $b --> Bool)
+
+Equivalent to C«!(<=)».
+
+=head2 infix:<<(<)>>
+
+    multi sub infix:<<(<)>>(Any $a, Any $b --> Bool)
+    multi sub infix:<<(<)>>(Setty $a, Setty $b --> Bool)
+
+Returns C<True> if C<$a> is a 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>.
 
 =head2 infix:<⊂>
 
+    only sub infix:<<"\x2282">>($a, $b --> Bool)
+
+Equivalent to L«infix:<<(<)>>».
+
 =head2 infix:<⊄>
 
+    only sub infix:<<"\x2284">>($a, $b --> Bool)
+
+Equivalent to C«!(<)».
+
 =head2 infix:<(>=)>
 
+    multi sub infix:<<(>=)>>(Any $a, Any $b --> Bool)
+    multi sub infix:<<(>=)>>(Setty $a, Setty $b --> Bool)
+
+Like L«infix:<(<=)>» with reversed arguments. Returns C<True> if C<$b>
+is a subset of or equal to C<$a>.
+
 =head2 infix:<⊇>
 
+    only sub infix:<<"\x2287">>($a, $b --> Bool)
+
+Equivalent to L«infix:<<(>=)>>».
+
 =head2 infix:<⊉>
 
-=head2 infix:<(>)>
+    only sub infix:<<"\x2289">>($a, $b --> Bool)
+
+Equivalent to C«!(>=)».
+
+=head2 infix:<<(>)>>
+
+    multi sub infix:<<(>)>>(Any $a, Any $b --> Bool)
+    multi sub infix:<<(>)>>(Setty $a, Setty $b --> Bool)
+
+Like L«infix:<(<)>» with reversed arguments. Returns C<True> if C<$b>
+is a strict subset of C<$a>.
 
 =head2 infix:<⊃>
 
+    only sub infix:<<"\x2283">>($a, $b --> Bool)
+
+Equivalent to L«infix:<<(>)>>».
+
 =head2 infix:<⊅>
 
+    only sub infix:<<"\x2285">>($a, $b --> Bool)
+
+Equivalent to C«!(>)».
+
 =end pod