Nuprl Definition : classfun

X(e) ==  sv-bag-only(X eo e)


Definitions occuring in Statement :  apply: f a,  sv-bag-only: sv-bag-only(b)
FDL editor aliases :  classfun
Latex:
X(e)  ==    sv-bag-only(X  eo  e)


Date html generated: 2016_05_16-PM-01_43_41
Last ObjectModification: 2012_05_10-PM-04_52_20

Theory : event-ordering


Home Index