Free regular set


Free regular set is a formula.