lg-acyclic(g) == 
a:
lg-size(g). (
lg-connected(g;a;a))
Definitions :
all: x:A. B[x],
int_seg: {i..j
},
natural_number: $n,
lg-size: lg-size(g),
not: A,
lg-connected: lg-connected(g;a;b)
FDL editor aliases :
lg-acyclic
lg-acyclic(g) == \mforall{}a:\mBbbN{}lg-size(g). (\mneg{}lg-connected(g;a;a))
Date html generated:
2010_08_27-PM-03_42_52
Last ObjectModification:
2010_05_27-PM-01_22_31
Home
Index