写成A是B的子集是可以的,只是表达的信息不完整
写成A是B的真子集是准确完整的
也就是说“A是B的真子集”是“A是B的子集”的充分不必要条件