Tag: The complement of a regular set is regular.