符合条件的对象一个不漏,不符合的对象一个不能有。