---

class-pred(X;es;e) ==  last(e'.0 <z bag-size(X es e')) e

---

Definitions occuring in Statement :  es-local-pred: last(P),  lt_int: i <z j,  apply: f a,  lambda: x.A[x],  natural_number: $n,  bag-size: bag-size(bs)
Definitions :  lambda: x.A[x],  lt_int: i <z j,  natural_number: $n,  bag-size: bag-size(bs),  apply: f a
FDL editor aliases :  class-pred

---

class-pred(X;es;e)  ==    last(\mlambda{}e'.0  <z  bag-size(X  es  e'))  e


Date html generated: 2011_08_16-PM-04_40_10
Last ObjectModification: 2011_06_15-PM-04_40_24

Home Index