** Next:** Term Menu
**Up:** Approx Trs Menu
** Previous:** Preservation of the set

The approximated TRS is *arbitrary* if there exists a term
such that
.
If the approximated TRS
is arbitrary a witness term is given.
One can check whether the current approximated TRS
is arbitrary by using the *Arbitrary * command of the *Approx-TRS *
menu.

*Irene DURAND *

2005-02-01