Loopless graph
Set
context
$V,E$ … set
definiendum
$ \langle V,E,\psi\rangle \in \mathrm{it}(E,V) $
postulate
$\langle V,E,\psi\rangle $ … undirected graph
for all
$u\in V$
postulate
$\{u,u\} $ … not an edge
Discussion
Parents
Subset of
Undirected graph
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms