Vocabulary

入射加群

injective module

noun