Nuprl Definition : acyclic-rel

acyclic-rel(T;R) ==  ∀x:T. (¬(x R+ x))


Definitions occuring in Statement :  rel_plus: R+,  infix_ap: x f y,  all: ∀x:A. B[x],  not: ¬A
Definitions occuring in definition :  all: ∀x:A. B[x],  not: ¬A,  infix_ap: x f y,  rel_plus: R+
FDL editor aliases :  acyclic-rel
Latex:
acyclic-rel(T;R)  ==    \mforall{}x:T.  (\mneg{}(x  R\msupplus{}  x))


Date html generated: 2016_05_14-PM-03_53_26
Last ObjectModification: 2015_09_22-PM-06_01_48

Theory : relations2


Home Index