Map

• Map #Card
  • A map $f : X \to Y$ associates with each $x \in X$ a unique $f(x) \in Y$. - $X$ is the domain, $Y$ is the codomain. - $Y^X$ denotes the set of all maps from $X$ to $Y$.

Back

A map $f : X \to Y$ associates with each $x \in X$ a unique $f(x) \in Y$.

• $X$ is the domain, $Y$ is the codomain.
• $Y^X$ denotes the set of all maps from $X$ to $Y$.

Lean

関数型 X → Y / Function