theorem :: CARDFIL2:16

for X being set
for B being Subset-Family of X st {} in B holds
<.B.] = bool X