Talk:Normed vector lattice