满同态

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