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, v is in the bag of outputs
of X.⋅
v ∈ X(e) ==  v ↓∈ X es e


Definitions occuring in Statement :  apply: f a,  bag-member: x ↓∈ bs
FDL editor aliases :  classrel
v  \mmember{}  X(e)  ==    v  \mdownarrow{}\mmember{}  X  es  e


Date html generated: 2015_07_17-PM-00_15_23
Last ObjectModification: 2014_10_09-PM-02_25_09

Home Index