A _term traversal_ is a strategy that visits the subterms of a term in some order.

See also

	* [[Tree traversal]]
	* [[Traversal strategy]]
	* [[Generic term traversal]]
	* [[Congruence operator]]