theorem :: CARDFIL2:18

for X being set
for B being Subset-Family of X holds B c= <.B.] by def3;