Nuprl Definition : is-dag

is-dag(g) ==  ∀a,b:ℕlg-size(g).  (lg-edge(g;a;b) ⇒ a < b)


Definitions occuring in Statement :  lg-edge: lg-edge(g;a;b),  lg-size: lg-size(g),  int_seg: {i..j-},  less_than: a < b,  all: ∀x:A. B[x],  implies: P ⇒ Q,  natural_number: $n
FDL editor aliases :  is-dag
Latex:
is-dag(g)  ==    \mforall{}a,b:\mBbbN{}lg-size(g).    (lg-edge(g;a;b)  {}\mRightarrow{}  a  <  b)


Date html generated: 2016_05_17-AM-10_11_15
Last ObjectModification: 2012_02_25-PM-03_35_29

Theory : process-model


Home Index