Closed_regular_set