Dual Vector

A dual vector is a vector that is defined by a linear functional acting on a vector space.