Definition 0.1
is defined as the class (or space) of continuous
functions
acting on a
topological groupoid

with compact support, and with values in a field

. In most applications it will, however, suffice to select

as a
locally compact (topological) groupoid

.
Multiplication in

is given by the integral
formula:
where

is a
Lebesgue measure.