theorem Th46: :: PARTFUN1:46

for X, Y, f being set st f in PFuncs (X,Y) holds
f is PartFunc of X,Y