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