Function preimage

Calculates the preimage of a morphism, either for its codomain or for a subset of its codomain.

preimage<T, U>(
morph: ChalkboardMorphism<T, U>,
subset?: ChalkboardSet<U>,
): ChalkboardSet<T>
Type Parameters
- T
- U
Parameters
- morph: ChalkboardMorphism<T, U>
  The morphism
- Optionalsubset: ChalkboardSet<U>
  The subset of the codomain (optional, defaults to the codomain)
Returns ChalkboardSet<T>
- Defined in Chalkboard-abal.ts:1665