Specialization is the inverse relationship to generalization. In speaking, Cyclists will often say that A specializes, or is a spec of, B if (genls A B) is true.
A
B
(genls A B)