Nuprl Definition : sys-antecedent
sys-antecedent(es;Sys) ==  {f:E(Sys) ⟶ E(Sys)| ∀x:E(Sys). f x c≤ x} 
Definitions occuring in Statement : 
es-E-interface: E(X)
, 
es-causle: e c≤ e'
, 
all: ∀x:A. B[x]
, 
set: {x:A| B[x]} 
, 
apply: f a
, 
function: x:A ⟶ B[x]
FDL editor aliases : 
sys-antecedent
Latex:
sys-antecedent(es;Sys)  ==    \{f:E(Sys)  {}\mrightarrow{}  E(Sys)|  \mforall{}x:E(Sys).  f  x  c\mleq{}  x\} 
Date html generated:
2016_05_16-PM-02_45_23
Last ObjectModification:
2014_02_20-PM-06_22_47
Theory : event-ordering
Home
Index