In the first part of this paper a separation theorem is proved for disjoint subsemigroups of a given abelian semigroup. Applying this result, separation theorems and characterization theorems are obtained for semiinternal functions.