IV.D217 — Universal defect functional

The universal defect functional delta[omega] = projlim_n delta_n[omega] is the projective limit in the category of finitely additive measures on the clopen algebra of Z-hat valued in R^3 x Z, assigning a defect 4-tuple to every clopen subset U of Z-hat.