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