Termset

A termset is a set of (not necessarily ground) terms built upon the current signature and set of variables.