使用运算符测试集合包含集合A是否为集合B的真子集的表达式可以写作（）。