closure properties of regular languages in toc