:: deftheorem defines covering ABIAN:def 6 :
for X being set
for x being Element of X holds
( x is covering iff union x = union (union X) );