Nuprl Definition : sv-class
Singlevalued(X) == ∀eo:EO+(Info). ∀e:E. (#(X eo e) ≤ 1)
Definitions occuring in Statement :
event-ordering+: EO+(Info),
es-E: E,
le: A ≤ B,
all: ∀x:A. B[x],
apply: f a,
natural_number: $n,
bag-size: #(bs)
FDL editor aliases :
sv-class
Latex:
Singlevalued(X) == \mforall{}eo:EO+(Info). \mforall{}e:E. (\#(X eo e) \mleq{} 1)
Date html generated:
2016_05_16-PM-02_19_40
Last ObjectModification:
2012_02_25-PM-01_18_41
Theory : event-ordering
Home
Index