-- -*- M2-comint -*- {* hash: 650785651 *} i1 : isSubset(set{a},set{a,b,c}) o1 = true i2 : isSubset({a},set{a,b,c}) o2 = true i3 : isSubset({a,a},{a,b,c}) o3 = true i4 :
-- -*- M2-comint -*- {* hash: 650785651 *} i1 : isSubset(set{a},set{a,b,c}) o1 = true i2 : isSubset({a},set{a,b,c}) o2 = true i3 : isSubset({a,a},{a,b,c}) o3 = true i4 :