theorem Th60: :: PARTPR_1:60

for D being non empty set holds Top (PartialPredConnectivesLatt D) = PP_True D