很难理解一个高中数学的定义,集合和充要条件的关系