e/Orthogonality (term rewriting)

Information
has gloss	eng: Orthogonality as a property of term rewriting systems describes where the reduction rules of the system are all left-linear, that is each variable occurs only once on the left hand side of each reduction rule, and there is no overlap between them.
lexicalization	eng: Orthogonality
instance of	e/Rewriting