三、充分与必要的关系类