LabeledGraph(T) == self:Top List 
(T 
||self|| List (||self|| List)) List
Definitions :
dep-isect: Error :dep-isect,
top: Top,
product: x:A B[x],
list: type List,
int_seg: {i..j
},
natural_number: $n,
length: ||as||
FDL editor aliases :
labeled-graph
LabeledGraph(T) == self:Top List \mcap{} (T \mtimes{} \mBbbN{}||self|| List \mtimes{} (\mBbbN{}||self|| List)) List
Date html generated:
2010_08_27-PM-03_38_43
Last ObjectModification:
2010_05_06-AM-11_52_45
Home
Index