for A, B being set holds PFuncs (A,B) = sproduct (A --> B)