theorem :: CARDFIL2:15

for X being set
for B being empty Subset-Family of X holds <.B.] = bool X