简述可行集和有效集定义。