===== Adjacency list =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $V$ ... countable set |

| @#FFBB00: definiendum | @#FFBB00: $ \phi\in\mathrm{it} $ |

| @#55EE55: postulate   | @#55EE55: $ \mathrm{dom}\ \phi = V $ |

| @#FFFDDD: for all     | @#FFFDDD: $ v,u\in V $ |

| @#55EE55: postulate   | @#55EE55: $ \phi(v)\subseteq V $ |
| @#55EE55: postulate   | @#55EE55: $ u\in\phi(v)\implies v\in\phi(u) $ |

==== Discussion ====
The value $\phi(v)$ denotes the set of vertices which are connected to $v$.

The adjacency lists describe [[simple graph]].
==== Parents ====
=== Subset of ===
[[Function]]