An abstract and general idea; an abstraction.
Understanding retained in the mind, from experience, reasoning and imagination; a generalization (generic, basic form), or abstraction (mental impression), of a particular set of instances or occurrences (specific, though different, recorded manifestations of the concept).
In generic programming, a description of supported operations on a type, including their syntax and semantics.