theorem Th61: :: PARTPR_1:61

for D being non empty set holds Bottom (PartialPredConnectivesLatt D) = PP_False D