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