Nuprl Definition : es-class-causal-rel

e∈X(x) c Y(y) such that
 R[e; x; y] ==
  (∀e:E(Y). ∃e':E(X). (e' c≤ e ∧ R[e'; X(e'); Y(e)])) ∧ (∀e':E(X). ∃e:E(Y). (e' c≤ e ∧ R[e'; X(e'); Y(e)]))

Definitions occuring in Statement :  es-E-interface: E(X) eclass-val: X(e) es-causle: c≤ e' all: x:A. B[x] exists: x:A. B[x] and: P ∧ Q
FDL editor aliases :  es-class-causal-rel

e\mmember{}X(x)  \mLeftarrow{}c\mRightarrow{}  Y(y)  such  that
  R[e;  x;  y]  ==
    (\mforall{}e:E(Y).  \mexists{}e':E(X).  (e'  c\mleq{}  e  \mwedge{}  R[e';  X(e');  Y(e)]))
    \mwedge{}  (\mforall{}e':E(X).  \mexists{}e:E(Y).  (e'  c\mleq{}  e  \mwedge{}  R[e';  X(e');  Y(e)]))

Date html generated: 2015_07_21-PM-04_24_48
Last ObjectModification: 2012_02_25-PM-03_15_00

Home Index