In order to be able to express solution sets from SymPy's solveset a set comprehension constructor as equivalent to SymPy's imageset / ConditionSet is needed. As the arguments are symbolic the most natural way to do this would be a formal symbolic function named like set_of_all taking a term argument and a list argument containing element_of(...) function expressions.

This set would convert to a SymPy ImageSet or ConditionSet

Related: ImageManifoldSubset (#31653)

Depends on #24171
Depends on #32013
Depends on #32089
Depends on #32121

CC: @tscrim @mantepse

Component: symbolics

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/24176