Processing math: 100%
Graph
Set
context
V
,
E
… set
definiendum
i
t
(
E
,
V
)
=
u
n
d
i
r
e
c
t
e
d
g
r
a
p
h
(
E
,
V
)
∪
d
i
r
e
c
t
e
d
g
r
a
p
h
(
E
,
V
)
Discussion
Predicates
For a graph
G
=
⟨
V
,
E
,
ψ
⟩
, we write
predicate
a
… edge in
G
≡
a
∈
i
m
ψ
Parents
Context
Undirected graph
,
Directed graph
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms
