Closure of a braid.