入射加群 (にゅうしゃかぐん) — injective module | Kumi Dictionary