tbox->equivalentclasses_axioms is now a Set.