theorem Th3: :: PARTPR_1:3

for x being object
for D being set
for p being PartialPredicate of D holds
( not x in dom p or p . x = TRUE or p . x = FALSE )