単射でないという性質