Differentials

As a generalization of the product f r of a function / and a differential r we can define the product S t as a viable differen­ tial for a restricted class of summants S. With restrictions on both σ and r we can define the differential στ. The restriction we need is “tag-finiteness.”