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.