对于目标的集合,一定有原像存在,可用于证明目标集合的一些性质