theorem Th3: :: KOLMOG01:3

for Omega being non empty set
for X being Subset-Family of Omega st X = {} holds
sigma X = {{},Omega}