for D being non empty set
for p being PartialPredicate of D
for a, b being Element of (PartialPredConnectivesLatt D) st a = p & b = PP_not p holds
b is_a_partial_complement_of a