generated at
単射
injective