---

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

---

Definitions :  all: x:A. B[x],  int_seg: {i..j},  natural_number: $n,  lg-size: lg-size(g),  implies: P  Q,  lg-edge: lg-edge(g;a;b),  less_than: a < b
FDL editor aliases :  is-dag

---

is-dag(g)  ==    \mforall{}a,b:\mBbbN{}lg-size(g).    (lg-edge(g;a;b)  {}\mRightarrow{}  (a  <  b))


Date html generated: 2010_08_27-PM-03_44_04
Last ObjectModification: 2010_05_28-AM-10_58_43

Home Index