De abstracte theorie van orthogonaliteit in herschrijven wordt bestudeerd en ontwikkeld aan de hand van een voorbeeld : vlechten.
Bekendheid met orthogonaliteit in termherschrijven wordt verondersteld.