next up previous
Next: Orthogonality Up: Trs Menu Previous: Left-linearity

Overlappingness

One can check overlappingness for the current TRS $ \mathcal{R}$ by using the Overlapping command.

Irene DURAND
2005-02-01