Nuprl Definition : labeled-graph
LabeledGraph(T) == self:Top List ∩ (T × ℕ||self|| List × (ℕ||self|| List)) List
Definitions occuring in Statement :
length: ||as||,
list: T List,
int_seg: {i..j-},
top: Top,
product: x:A × B[x],
natural_number: $n,
dep-isect: x:A ∩ B[x]
FDL editor aliases :
labeled-graph
Latex:
LabeledGraph(T) == self:Top List \mcap{} (T \mtimes{} \mBbbN{}||self|| List \mtimes{} (\mBbbN{}||self|| List)) List
Date html generated:
2015_07_22-PM-00_27_28
Last ObjectModification:
2012_02_25-PM-03_33_27
Home
Index