Nuprl Definition : es-sv-class

es-sv-class(es;X) ==

e:E. (bag-size(X es e)

1)

Definitions occuring in Statement : es-E: E, le: A

B, all:

x:A. B[x], apply: f a, natural_number: $n, bag-size: bag-size(bs)
FDL editor aliases : es-sv-class

es-sv-class(es;X) == \mforall{}e:E. (bag-size(X es e) \mleq{} 1) Date html generated: 2012_01_23-PM-12_17_58 Last ObjectModification: 2011_12_14-PM-04_01_28 Home Index