A linear functional on a real vector space 
is a function 
, which satisfies the following properties.
1. 
, and
2. 
.
When 
is a complex vector space, then 
is a linear map into the complex numbers.
Generalized functions are a special case of linear functionals, and have a rich theory surrounding them.
