A vector space with a function, ||F||, such that

 ||F|| = 0 if and only if F=0
 ||aF|| = abs(a) * ||F||
 ||F+G|| <= ||F|| + ||G||

Roughly, a distance between two elements in the space is defined.