A linear functional on a vector space VVV with underlying field FFF is a linear transformation from VVV to FFF when considered as a one-dimensional vector space over itself.
Wikidata ID: Q579600