В этом правиле много мути.

Но, инварианты всегда есть "морфологические" свойства чего-либо.

А вот "варианты" есть алгоритмические свойства, по сути являющие повторяющиеся/ умножающиеся вариации инвариантов.