theorem Th4: :: ABIAN:4

for E being set
for sE being Subset-Family of E holds
( sE is covering iff union sE = E )