outr-class(X) == 
b.bag-mapfilter(x.outr(x);x.(
isl(x));b) o X
Definitions occuring in Statement :
eclass-compose1: f o X,
outr: outr(x),
isl: isl(x),
bnot: b,
lambda: x.A[x],
bag-mapfilter: bag-mapfilter(f;P;bs)
Definitions :
eclass-compose1: f o X,
bag-mapfilter: bag-mapfilter(f;P;bs),
outr: outr(x),
lambda: x.A[x],
bnot: b,
isl: isl(x)
FDL editor aliases :
outr-class
outr-class(X) == \mlambda{}b.bag-mapfilter(\mlambda{}x.outr(x);\mlambda{}x.(\mneg{}\msubb{}isl(x));b) o X
Date html generated:
2011_08_16-PM-04_21_26
Last ObjectModification:
2011_01_20-PM-01_13_02
Home
Index