Nuprl Definition : classrel

This is the fundamental logical relation for 
"event-classes" (aka event-handlers, aka functional processes).
(X of type ⌜EClass(T)⌝).
It says that in event-ordering es, at event e, is in the bag of outputs
of X.⋅

v ∈ X(e) ==  v ↓∈ es e



Definitions occuring in Statement :  apply: a bag-member: x ↓∈ bs
FDL editor aliases :  classrel

Latex:
v  \mmember{}  X(e)  ==    v  \mdownarrow{}\mmember{}  X  es  e



Date html generated: 2016_05_17-PM-03_26_35
Last ObjectModification: 2014_10_09-PM-02_25_09

Theory : event-ordering


Home Index