A subvariety is a recognised division of a species.
See also trinomial nomenclature.
It is also used as a term in mathematics, specifically in algebraic geometry (see algebraic variety), and universal algebra.
