Nuprl Definition : msfun
msfun(X;d;Y;d') == {f:X ⟶ Y| is-msfun(X;d;Y;d';f)}
Definitions occuring in Statement :
is-msfun: is-msfun(X;d;Y;d';f),
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-msfun: is-msfun(X;d;Y;d';f)
FDL editor aliases :
msfun
Latex:
msfun(X;d;Y;d') == \{f:X {}\mrightarrow{} Y| is-msfun(X;d;Y;d';f)\}
Date html generated:
2019_10_30-AM-06_26_09
Last ObjectModification:
2019_10_02-AM-10_01_32
Theory : reals
Home
Index