Vocabulary

直和集合

direct sum

noun