SemiLinearSets

The previous definition is from: [http://www.eecs.wsu.edu/~zdang/papers/catalytic.pdf Catalytic P Systems, Semilinear Sets, and Vector Addition Systems]