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

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