Nuprl Definition : ds-agrees-on

ds-agrees-on(ds;x;T) ==  (↑x ∈ dom(ds)) ⇒ T ≡ ds(x)


Definitions occuring in Statement :  fpf-ap: f(x),  fpf-dom: x ∈ dom(f),  id-deq: IdDeq,  assert: ↑b,  ext-eq: A ≡ B,  implies: P ⇒ Q
FDL editor aliases :  ds-agrees-on
Latex:
ds-agrees-on(ds;x;T)  ==    (\muparrow{}x  \mmember{}  dom(ds))  {}\mRightarrow{}  T  \mequiv{}  ds(x)


Date html generated: 2016_05_16-AM-11_41_53
Last ObjectModification: 2012_02_25-AM-11_15_56

Theory : event-ordering


Home Index