# 图　`def.graph`
图（Graph）
layer 6 · 定义 · 范畴与图 · 范畴论
[在星图里打开](../#n=def.graph)　·　[节点索引](../index.md)

一个**图**是一个四元组

$$( V, E, s, t )$$

其中 $V$ 与 $E$ 是集合，$s, t : E \to V$ 是函数 —— 分别叫**起点映射**与**终点映射**。$V$ 的元素叫**顶点**，$E$ 的元素叫**边**。

## 为什么成立（入边，证明在 proofs/）
- [`def.pair`](../nodes/def.pair.md) 有序对：用到了定义 有序对　[proofs/def-dep.pair-graph.md](../proofs/def-dep.pair-graph.md)
- [`def.function`](../nodes/def.function.md) 映射：用到了定义 映射　[proofs/def-dep.function-graph.md](../proofs/def-dep.function-graph.md)

## 它能推出什么 / 谁在用它
- 被 [`def.graph-morphism`](../nodes/def.graph-morphism.md) 图的态射 用

- …另有出边，续页见 [nodes/def.graph.2.md](./def.graph.2.md)

refs: Le Stum, An introduction to condensed mathematics, §1.1

> 说明见 `notes/def.graph.md`

引用：`def.graph`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)