submonoid.closure source