The Supremum of a Family of Additive Functions
The Supremum of a Family of Additive Functions
Any system S in which an addition is defined for some, but not necessarily all, pairs of elements can be imbedded in a natural way in a commutative semi-group G, although different elements in S need not always determine different elements in G (see §2). Theorem 2.1 gives necessary and …