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