SemiLinearSets
See the definition for linear and semilinear sets in the following: attachment:SemiLinearSets.pdf
Make changes to: attachment:SemiLinearSets.tex
The previous definition is from: [http://www.eecs.wsu.edu/~zdang/papers/catalytic.pdf Catalytic P Systems, Semilinear Sets, and Vector Addition Systems]