Definition of "subterms"

subterms