noun: the word class that can serve as the subject or object of a verb, the object of a preposition, or in apposition
abstraction: a general concept formed by extracting common features from specific examples
direct sum: a union of two disjoint sets in which every element is the sum of an element from each of the disjoint sets