:: deftheorem Def11 defines Cover SETFAM_1:def 11 :
for X, b₂ being set holds
( b₂ is Cover of X iff X c= union b₂ );