better equations for term_union, and a lemma