Disonnected graph
Set
context
$V,E$ … set
definiendum
$\langle V,E,\psi\rangle \in \mathrm{it} $
postulate
$\langle V,E,\psi\rangle $ … undirected graph $\setminus$ connected graph
Discussion
Parents
Subset of
Undirected graph
R*Requirements
Connected graph
Related
Connected graph