Nuprl Definition : ldag

LabeledDAG(T) ==  {g:LabeledGraph(T)| is-dag(g)} 



Definitions occuring in Statement :  is-dag: is-dag(g) labeled-graph: LabeledGraph(T) set: {x:A| B[x]} 
FDL editor aliases :  ldag

Latex:
LabeledDAG(T)  ==    \{g:LabeledGraph(T)|  is-dag(g)\} 



Date html generated: 2015_07_22-PM-00_29_52
Last ObjectModification: 2012_02_25-PM-03_35_40

Home Index