for X being Subset of (HFuncs NAT) st X is primitive-recursively_closed holds
PrimRec c= X