:: deftheorem Def2 defines thin MEASURE3:def 2 :
for X being set
for S being SigmaField of X
for M being sigma_Measure of S
for b₄ being Subset of X holds
( b₄ is thin of M iff ex B being set st
( B in S & b₄ c= B & M . B = 0. ) );