for x being object
for D being set st x in Pr D holds
x is PartialPredicate of D by PARTFUN1:46;