First, define the polynomial ring and two polynomials of .
Using the GeneralConstruct function and adding one inequality, you can build a constructible set. By and , two constructible sets cs1 and cs2 are different.
Use the IsContained function to check if one is contained in another.
The empty constructible set is contained in any other constructible set.
Semi-algebraic case: