Definition:Primitive Recursive Set