closing in P Process groups correspond to actions in P