Nuprl Definition : eclass-union

eclass-union(X) ==  λes,e. bag-union(X(e))



Definitions occuring in Statement :  class-ap: X(e) lambda: λx.A[x] bag-union: bag-union(bbs)
FDL editor aliases :  eclass-union

Latex:
eclass-union(X)  ==    \mlambda{}es,e.  bag-union(X(e))



Date html generated: 2016_05_16-PM-02_08_10
Last ObjectModification: 2013_01_11-PM-01_58_02

Theory : event-ordering


Home Index