Boolean power, compact Hausdorff space, Lattice-ordered Abelian group^{2}, Lukasiewicz logic^{2}, MV-algebra^{2}, Specker algebra, Spectral space^{2}, Stone duality^{2}, strong order unit^{2}, vector lattice^{2}.