theorem Th7: :: FINSUB_1:7

for A being non empty preBoolean set holds {} in A