Lattice-ordered Abelian group2, Lukasiewicz logic2, MV-algebra2, Spectral space2, Stone duality2, strong order unit2, vector lattice2.