图

说明

这里的「图」是有向多重图：不要求 $s(e) \ne t(e)$（允许自环），也不要求两条边的端点不同（允许平行边）。所以它比日常说的「图的图形」宽 —— 它只是一份「哪些边从哪连到哪」的数据。

四元组是嵌套的有序对，所以编码方式不是无关紧要的。$(x, y) := \{ \{x\}, \{x,y\} \}$ 满足有序对公理

而换成 $\{ x, \{x,y\} \}$ 就必须拿这条公理逐条去验，不能想当然。