Equivalent conditions for linear
functionals, on a commutative algebra 𝒜 with involution, to be positive are proved by
elementary methods devoid of disintegration theorems. The theory is applied to
present straightforward verifications of, heretofore subtle, equivalences of quadratic
form and finite difference definitions of positive definiteness of functions on
semigroups.