for D being non empty set
for p, q being PartialPredicate of D st q is total holds
dom p c= dom (PP_or (p,q))