formation which maps Q onto Q and is bimeasurable, i.e., A ? j if and only if TA C j. Let P be a probability measure defined on a. P is said to be invariant provided P(A) =P(TA) for all A - a. For such