A Theory of Traces and the Divergence Theorem

The integrals used do not require trace functions or normal fields on the boundary and they can deal with inner boundaries. The calculus developed here also allows integral representations for the precise representative of an integrable function and for the usual boundary trace of Sobolev or BV functions.