It is known that there are specific examples of ergodic transformations on
measure spaces for which the calculation of the outer measure of transformation
invariant sets leads to a condition closely resembling Carath\'eodory's
condition for sets to be measurable. It is then natural to ask what functions
are capable of `generating', that is leading to, the Carath\'eodory definition
in the same way.
We consider $n$-dimensional hypersurfaces flowing by mean curvature flow with
Neumann free boundary conditions supported on a smooth support surface. We show
that the Hausdorff $n$-measure of the singular set is zero. In fact, we
consider two types of interaction between the support and flowing surfaces. In
the case of weaker interaction, we need make no further assumptions than in the
case without boundary to achieve our result. In the case of stronger
interaction, we need only make the additional assumption that $H_{\Sigma}>0$,
that is, that the support surface be mean convex.