for X being set holds PFuncs (X,{}) = {{}}