Let a,b be real numbers with a<b and adopt the notation B[a,b] and λ[a,b] of the restricted Lebesgue measure space on a compact interval, so that ([a,b],B[a,b],λ[a,b]) is a measure space by claim 1 there. Measurability of a real-valued function on [a,b] means measurability with respect to B[a,b] and the Borel σ-algebra of the real line, and integrability and the integral ∫[a,b]fdλ[a,b] are those of this measure space.
Call a set N∈B[a,b] null if λ[a,b](N)=0.
Then the following hold.
1. (Vanishing off a null set.) Let N be null and let h:[a,b]→R be measurable with h(t)=0 for every t∈[a,b]∖N. Then h is integrable and
∫[a,b]hdλ[a,b]=0.
2. (Agreeing off a null set.) Let N be null and let f,g:[a,b]→R be integrable with f(t)=g(t) for every t∈[a,b]∖N. Then
∫[a,b]fdλ[a,b]=∫[a,b]gdλ[a,b].