Let be a semigroup and a positive real-valued function on such that . If is the set of all complex-valued functions on for which , then with the usual pointwise addition, scalar multiplication, the product (convolution) (if has no solutions, we assume ), and with the norm is a Banach algebra.
If , then is called discrete semi-group algebra. Moreover if is a group then is the discrete group algebra .