---

inr-class(X) ==  b.bag-map(x.(inr x );b) o X

---

Definitions occuring in Statement :  eclass-compose1: f o X,  lambda: x.A[x],  inr: inr x ,  bag-map: bag-map(f;bs)
Definitions :  eclass-compose1: f o X,  bag-map: bag-map(f;bs),  lambda: x.A[x],  inr: inr x 
FDL editor aliases :  inr-class

---

inr-class(X)  ==    \mlambda{}b.bag-map(\mlambda{}x.(inr  x  );b)  o  X


Date html generated: 2011_08_16-PM-04_21_14
Last ObjectModification: 2011_01_20-PM-12_57_33

Home Index