reserve Omega for non empty set;
reserve r for Real;
reserve Sigma for SigmaField of Omega;
reserve P for Probability of Sigma;
reserve E for finite non empty set;

theorem Th8:
  for Omega be non empty finite set, f be PartFunc of Omega,REAL
  ex X be Element of Trivial-SigmaField (Omega) st
    dom f = X & f is X-measurable
proof
  let Omega be non empty finite set, f be PartFunc of Omega,REAL;
  set Sigma = Trivial-SigmaField Omega;
  reconsider X = dom f as Element of Sigma;
  take X;
  thus thesis by Th6,MESFUNC6:50;
end;
