python 判断A是否是B的子集