Nuprl Definition : outr-class
outr-class(X) == λb.bag-mapfilter(λx.outr(x);λx.(¬bisl(x));b) o X
Definitions occuring in Statement :
eclass-compose1: f o X,
outr: outr(x),
bnot: ¬bb,
isl: isl(x),
lambda: λx.A[x],
bag-mapfilter: bag-mapfilter(f;P;bs)
FDL editor aliases :
outr-class
Latex:
outr-class(X) == \mlambda{}b.bag-mapfilter(\mlambda{}x.outr(x);\mlambda{}x.(\mneg{}\msubb{}isl(x));b) o X
Date html generated:
2015_07_20-PM-03_21_50
Last ObjectModification:
2012_02_25-PM-01_44_51
Home
Index