give the defining isomorphism for Closure