defines the metric space, where
is the set of all patches with any number of triangles. The binary operation
takes two patches and returns a natural number in the range
.
; defined as:
| (1) |
is a function defined in
over
and for some
,
, returns the size of patch
, and is exactly the sum of all cells of all triangles in the patch, the amount is given by expression 2, where
is the number of triangles in each patch: