for D being non empty set
for p being PartialPredicate of D holds PP_or ((PP_not p),p) = (PP_True D) | (dom p) by Th49;