问题
In the world of generic programing the notion of refinement is very common. In particular given a concept C1, then we say that a concept C2 refines C1 if it provides all the functionalities of C1 and possibly more.
How do you call the inverse relation? So if C2 is a refinement of C1 then C1 is a what of C2?
回答1:
Since the related transformation of requirements is called "lifting" I suggest the same for concepts. C1 is a lifting of C2. However someone with native English should better help here.
回答2:
There are two terms in linguistics which define the relation discussed in the topic.
Hyponym shares a type-of relationship with its hypernym.
Hypernymy is the semantic relation in which one word is the hypernym of another. Hyponymy is the oppopsite relation.
Then "bulldog" is a hyponym of the "dog" concept, the "dog" concept is the hypernym for the bulldog concept.
来源：https://stackoverflow.com/questions/16355303/what-is-the-inverse-notion-of-refinement