A*-band is a semigroup with a unary operation * obeying the axioms (xy)* = y*x*, x** = x, x = xx*x, x² = x. On a free involutorial semigroup F on a nonempty set X, we define a family of operators ...