Nuprl Definition : lg-contains
g1 ⊆ g2 == ∃ga,gb:LabeledGraph(T). (g2 = lg-append(ga;lg-append(g1;gb)) ∈ LabeledGraph(T))
Definitions occuring in Statement :
lg-append: lg-append(g1;g2),
labeled-graph: LabeledGraph(T),
exists: ∃x:A. B[x],
equal: s = t ∈ T
FDL editor aliases :
lg-contains
Latex:
g1 \msubseteq{} g2 == \mexists{}ga,gb:LabeledGraph(T). (g2 = lg-append(ga;lg-append(g1;gb)))
Date html generated:
2015_07_22-PM-00_28_00
Last ObjectModification:
2012_02_25-PM-03_33_57
Home
Index