Sequential closure operator

From HandWiki