# Differences

This shows you the differences between two versions of the page.

 loopless_graph [2014/02/08 13:15]nikolaj loopless_graph [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2014/02/08 13:15 nikolaj 2014/02/08 13:15 nikolaj 2014/02/08 13:14 nikolaj 2014/02/08 13:14 nikolaj old revision restored (2014/02/08 12:51) Next revision Previous revision 2014/02/08 13:15 nikolaj 2014/02/08 13:15 nikolaj 2014/02/08 13:14 nikolaj 2014/02/08 13:14 nikolaj old revision restored (2014/02/08 12:51) Line 1: Line 1: ===== Loopless graph ===== ===== Loopless graph ===== ==== Set ==== ==== Set ==== - | @#88DDEE: $V,E$ ... set | + | @#55CCEE: context ​    | @#55CCEE: $V,E$ ... set | - | @#FFBB00: $\langle V,​E,​\psi\rangle \in \mathrm{it}(E,​V)$ | + | @#FFBB00: definiendum ​| @#FFBB00: $\langle V,​E,​\psi\rangle \in \mathrm{it}(E,​V)$ | - | @#55EE55: $\langle V,​E,​\psi\rangle$ ... undirected graph | + | @#55EE55: postulate ​  | @#55EE55: $\langle V,​E,​\psi\rangle$ ... undirected graph | - | @#FFFDDD: $u\in V$ | + | @#FFFDDD: for all     | @#FFFDDD: $u\in V$ | - | @#55EE55: $\{u,u\}$ ... not an edge | + | @#55EE55: postulate ​  | @#55EE55: $\{u,u\}$ ... not an edge | ==== Discussion ==== ==== Discussion ==== ==== Parents ==== ==== Parents ==== - === Context ​=== + === Subset of === - [[Function]] + [[Undirected graph]]