Implicit time discretization for the mean curvature flow of mean convex sets