closure property toc