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