- Let
be an open domain subset of
with
smooth boundary, and let
represent the observed data function. Let
be the region
defined as

We note , and let the interface between and be

We note the one-dimensional Hausdorff measure of verifying

- The classification model we consider for an image
*u*_{o}defined over , is a set defined by (1) and satisfying :