SetOfTerms

constructor(values: Set<Term>)
constructor(vararg values: Term)