Ordered basis
An ordered basis is a vector basis which is also a totally ordered set,
or equivalently, is indexed by some totally ordered set
An ordered basis is a vector basis which is also a totally ordered set,
or equivalently, is indexed by some totally ordered set