Specifying concepts

The following definitions briefly summarize the terminology used in documenting generic software using concepts.

• Concept description: set of type requirements
• Concept: set of types that meet the described requirements
• Model of a concept: any type that satisfies the requirements
• Refinement of a concept: another concept with the same requirements plus additional ones (similar to class inheritance). If concept B is a refinement of concept A, then B has fewer models than A.
• Concept hierarchy (collection of concepts and their refinement relation)