Nuprl Definition : mfun

FUN(X ⟶ Y) ==  {f:X ⟶ Y| f:FUN(X;Y)} 


Definitions occuring in Statement :  is-mfun: f:FUN(X;Y),  set: {x:A| B[x]} ,  function: x:A ⟶ B[x]
Definitions occuring in definition :  set: {x:A| B[x]} ,  function: x:A ⟶ B[x],  is-mfun: f:FUN(X;Y)
FDL editor aliases :  mfun mfun
Latex:
FUN(X  {}\mrightarrow{}  Y)  ==    \{f:X  {}\mrightarrow{}  Y|  f:FUN(X;Y)\} 


Date html generated: 2019_10_30-AM-06_20_38
Last ObjectModification: 2019_10_02-AM-09_56_49

Theory : reals


Home Index