theorem Th04: :: CARDFIL2:17

for X being set
for B being non empty Subset-Family of X
for L being Subset of (BoolePoset X) st B = L holds
<.B.] = uparrow L