[ 1 ] [ { 1 } cardinality ] unit-test
[ 1 ] [ HS{ 1 } cardinality ] unit-test
[ 3 ] [ HS{ 1 2 3 } cardinality ] unit-test
+
+
+[ f ] [ { 1 2 3 4 } { 1 2 } subset? ] unit-test
+[ t ] [ { 1 2 3 4 } { 1 2 } swap subset? ] unit-test
+[ t ] [ { 1 2 } { 1 2 } subset? ] unit-test
+[ t ] [ { 1 2 } { 1 2 } swap subset? ] unit-test
small/large sequence/tester any? ;
M: set subset?
- small/large sequence/tester all? ;
+ sequence/tester all? ;
M: set set=
2dup [ cardinality ] bi@ eq? [ subset? ] [ 2drop f ] if ;