 If "X" is also a topological vector space (TVS) and if for each neighborhood "V" of 0 in "X" there exists a neighborhood "U" of 0 such that [("U" + "N") ∩ C] ⊆ "V" + "N" then formula_17 is a normal cone for the quotient topology.If "X" is a topological vector lattice and "M" is a closed solid sublattice of "X" then "X"/"L" is also a topological vector lattice.If "S" is any set then the space "X""S" of all functions from "S" into "X" is canonically ordered by the proper cone formula_24.