Graph of a Map

• Graph of a Map #Card
  • $\text{gr}(f) := {(x, y) \in X \times Y : y = f(x)}$. Mathematically, we can identify $f$ with its graph.

Back

$\text{gr}(f) := {(x, y) \in X \times Y : y = f(x)}$. Mathematically, we can identify $f$ with its graph.

Lean

Function.graph f = {p | p.2 = f p.1} / 本ノート RoyalRoad.ChapterI.IsGraph