When elements of , , and are interpreted as invariant elements of , then the product whose existence was asserted above is precisely the multiplication in . Indeed, it is trivial to check that the product of a left--invariant element and a right--invariant element continues to be left--invariant and right--invariant. The bilinearity of the product follows immediately from the bilinearity of multiplication in . It also follows that if is a fourth subgroup of , then the product of -, -, and -double cosets is associative. Because the product in corresponds to convolution of functions on , this product is sometimes called the convolution product.