theorem :: TOPS_2:1

for T being 1-sorted
for F being Subset-Family of T holds F c= bool ([#] T) ;