关于集合与推出关系的一道题(高中)