Derived sets in Sol result from the application of primitive set operations (union, intersection, difference) to fundamental or derived sets, the results of which do not simplify to a fundamental set.
