Nuprl Definition : ss-fun
X ⟶ Y == {f:Point(X) ⟶ Y | ss-function(X;Y;f)}
Definitions occuring in Statement :
set-ss: {x:ss | P[x]},
fun-ss: A ⟶ ss,
ss-function: ss-function(X;Y;f),
ss-point: Point(ss)
Definitions occuring in definition :
set-ss: {x:ss | P[x]},
fun-ss: A ⟶ ss,
ss-point: Point(ss),
ss-function: ss-function(X;Y;f)
FDL editor aliases :
ss-fun
Latex:
X {}\mrightarrow{} Y == \{f:Point(X) {}\mrightarrow{} Y | ss-function(X;Y;f)\}
Date html generated:
2019_10_31-AM-07_27_25
Last ObjectModification:
2019_03_19-PM-03_42_01
Theory : constructive!algebra
Home
Index