Processing math: 100%
Loopless graph
Set
context
V
,
E
… set
definiendum
⟨
V
,
E
,
ψ
⟩
∈
i
t
(
E
,
V
)
postulate
⟨
V
,
E
,
ψ
⟩
… undirected graph
for all
u
∈
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