Fiber

• Fiber #Card
  • For $f : X \to Y$, the inverse relation $f^-$ is the fiber relation, and $f^-(y)$ are the fibers of $f$.

Back

For $f : X \to Y$, the inverse relation $f^-$ is the fiber relation, and $f^-(y)$ are the fibers of $f$.

Lean

f ⁻¹' {y}（Set.preimage of singleton）