when mu(x, y) != 0 and Ry = { s | ys < y } is not contained in Rx. The left cells are the equivalence classes generated by these oriented links.
We have a number of trivial links