Let G be a locally compact group, and consider the weakly almost periodic functionals on M(G), the measure algebra of G, denoted by WAP(M(G)). This is a C*-subalgebra of the commutative C*-algebra M(G)*, and so has character space, say $K_{WAP}$. In this paper, we investigate properties of $K_{WAP}$. We present a short proof that $K_{WAP}$ can naturally be turned into a semigroup whose product is separately continuous; at the Banach algebra level, this product is simply the natural one induced by the Arens products. This...