In algebra lineare, un cono è un sottoinsieme C di uno spazio vettoriale V chiuso rispetto alla moltiplicazione per scalari positivi, cioè v ∈ C, λ > 0 ⇒ λ v ∈ C {\displaystyle v\in C,\lambda >0\Rightarrow \lambda v\in C} Perché questa definizione abbia senso è dunque necessario che nel campo degli scalari sia definito un concetto di "positività", dunque di campo ordinato. Wikipedia