for A being set holds
( A in COM (S,M) iff ex B being set st
( B in S & ex C being thin of M st A = B \/ C ) ) by Def3;
hence ( COM (S,M) is sigma-additive & COM (S,M) is compl-closed & not COM (S,M) is empty ) by Th18; :: thesis: verum