ABSTRACT
A channel with input X and output Y is a triple [X, , Y] or simply v, where v : X × y [0, 1] is a function which satisfies that
(c1) v(x,•) P(Y) for x X;
(c2) v(•, C) is x-measurable for C y.
Let C(X, Y) denote the set of all channels with input X and output Y. A channel v C(X,Y) is said to be strictly stationary if
(c3) v(Sx, C) = v(x, T-1C) for x X and C y.