(from #24176).

We define a class ConditionSet for subsets of elements given by a logical "and" of finitely many predicates.

If the given predicates (condition) are symbolic, a ConditionSet can be converted to a SymPy ConditionSet; the _sympy_ method falls back to creating a SageSet wrapper otherwise.

As an application, we provide Chart and RealChart with a method codomain.

Depends on #32013
Depends on #32015

CC: @tscrim @egourgoulhon

Component: symbolics

Author: Matthias Koeppe

Branch/Commit: f135a05

Reviewer: Travis Scrimshaw

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