Nuprl Definition : es-functional-class
X is functional == single-valued-classrel(es;X;T) ∧ es-total-class(es;X)
Definitions occuring in Statement :
single-valued-classrel: single-valued-classrel(es;X;T),
es-total-class: es-total-class(es;X),
and: P ∧ Q
FDL editor aliases :
es-functional-class
X is functional == single-valued-classrel(es;X;T) \mwedge{} es-total-class(es;X)
Date html generated:
2015_07_17-PM-00_20_28
Last ObjectModification:
2012_05_10-PM-02_30_01
Home
Index