Regular graph
Set
context
$V,E$ … set
definiendum
$ \langle V,E,\psi\rangle \in \mathrm{it}(E,V) $
inclusion
$ \langle V,E,\psi\rangle $ … undirected graph
range
$ k\in \mathbb N $
range
$ v\in V $
postulate
$ \exists k.\ \forall v.\ d(v)=k $
Discussion
Parents
Subset of
Undirected graph
Context
Vertex degree
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms