Processing math: 100%
Disonnected graph
Set
context
V
,
E
… set
definiendum
⟨
V
,
E
,
ψ
⟩
∈
i
t
postulate
⟨
V
,
E
,
ψ
⟩
… undirected graph
∖
connected graph
Discussion
Parents
Subset of
Undirected graph
R*Requirements
Connected graph
Related
Connected graph