theorem :: PARTPR_1:1

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