05.集合命题与条件