isSubset(x,y)
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