如何判断两个表达式是否相等？

比如
表达式集合A{a,b+c,e+2+f}
表达式集合B{b+c,a}
如何判断B是A的子集？
注意，这里表达式已经转换成解析树结构，比如a+b表示为
+
/ \
a b
我的思路是依次判断B中的表达式是否存在于A，现在的问题就是如果判断两个表达式是否相等？

集合A=集合B的充要条件忘记了？