See again [this comment](https://github.com/JuliaReach/MathematicalSystems.jl/issues/41). **Proposal.** Add: - `A * set` : The image of all points of the set by A. - `A' \ set` or `set / A` : The pre-image of all the points by A.