conditionally complete lattice ordered group
scientific article