 a codimension-1 subspace formula_117 of formula_120 such that

for every continuous, compactly supported formula_122.In fact the subspace formula_117 is the orthogonal complement of the unit vector

defined previously.This unit vector also satisfies

locally in formula_126, so it is interpreted as an approximate inward pointing unit normal vector to the reduced boundary formula_100.