Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Formulation F432 on
D2745: Set of subgraphs
F432
Formulation 0
Let
G
X
=
(
X
,
E
X
)
be a
D778: Graph
.
The
set of subgraphs
of
G
X
is the
D11: Set
{
G
E
=
(
E
,
E
E
)
:
E
⊆
X
and
E
E
⊆
E
X
}