Processing math: 100%

Finite undirected graph

Set

context V,E … set
definiendum ⟨V,E,ψ⟩∈it(E,V)
postulate ⟨V,E,ψ⟩ … undirected graph
postulate E,V … finite

Discussion

Parents

Subset of

Undirected graph

Link to graph
Log In
Improvements of the human condition
limeGraphxioms