入射加群 - 他の言語