  In the simple case of a Bernoulli shift on two symbols, zero and one, by
permuting the symbols, it is obvious that any two equal entropy shifts are
isomorphic. We show that the isomorphism can be realized by a factor that maps
a binary sequence to another that is coordinatewise smaller than or equal to
the original sequence.
