In analysis, truncation is the operation of replacing a nonnegative real-valued function a (x) by its pointwise meet a (x) ∧ 1 with the constant 1 function. A vector lattice A is said to be closed under truncation if a ∧ 1 ∈ A for all a ∈ A. Note that A need not contain 1 itself. Truncation is fundamental to analysis. To give only one example, Lebesgue integration generalizes beautifully to any...