[see also: decrease, lower, reduce
If any element is removed from an orthonormal set, its span is diminished.
As n decreases, the class of such covers diminishes.
The dimension of a simplex is its cardinality diminished by 1.