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:
2015_07_22-PM-00_29_44
Last ObjectModification:
2012_02_25-PM-03_35_29
Home
Index