Nuprl Definition : single-valued-classrel

single-valued-classrel(es;X;T) ==  e:E. v1,v2:T.  (v1  X(e)  v2  X(e)  (v1 = v2))


Definitions occuring in Statement :  classrel: v  X(e),  es-E: E,  all: x:A. B[x],  implies: P  Q,  equal: s = t
FDL editor aliases :  single-valued-classrel
single-valued-classrel(es;X;T)  ==    \mforall{}e:E.  \mforall{}v1,v2:T.    (v1  \mmember{}  X(e)  {}\mRightarrow{}  v2  \mmember{}  X(e)  {}\mRightarrow{}  (v1  =  v2))


Date html generated: 2012_01_23-PM-12_18_10
Last ObjectModification: 2012_01_10-AM-11_31_20

Home Index