Processing math: 100%
Connected graph
Set
context
V
,
E
… set
definiendum
⟨
V
,
E
,
ψ
⟩
∈
i
t
(
E
,
V
)
postulate
⟨
V
,
E
,
ψ
⟩
… undirected graph
range
X
∩
Y
=
∅
range
X
∪
Y
=
V
range
x
∈
X
range
y
∈
Y
postulate
∀
X
,
Y
.
∃
x
,
y
.
{
x
,
y
}
∈
i
m
ψ
Discussion
Parents
Subset of
Undirected graph