Supermetrics over Apartness Lattice-Ordered Semigroup 1

We define the notion of supermetrics over apartness lattice-ordered semigroups, present the relationship between supermetrics and additive functions, and prove several conditions of metric completeness.