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:
2016_05_17-AM-10_07_43
Last ObjectModification:
2012_02_25-PM-03_33_27
Theory : process-model
Home
Index