variables

The set of variables that are used by the rules in this disjoint set.