Processing math: 100%
Directed graph
Set
context
V
,
E
… set
definiendum
⟨
V
,
⟨
E
,
ψ
⟩
⟩
∈
i
t
(
E
,
V
)
postulate
ψ
… function
postulate
d
o
m
(
ψ
)
=
E
postulate
∀
(
e
∈
E
)
.
∃
(
u
,
v
∈
V
)
.
ψ
(
e
)
=
⟨
v
,
u
⟩
Discussion
Parents
Subset of
Graph
Context
Function
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms
