Nuprl Definition : step-function
step-function(T;transition;X) == {x:T| ∃y:T ⋂ X. (transition x y)}
Definitions occuring in Statement :
isect2: T1 ⋂ T2,
exists: ∃x:A. B[x],
set: {x:A| B[x]} ,
apply: f a
Definitions occuring in definition :
set: {x:A| B[x]} ,
exists: ∃x:A. B[x],
isect2: T1 ⋂ T2,
apply: f a
FDL editor aliases :
step-function
Latex:
step-function(T;transition;X) == \{x:T| \mexists{}y:T \mcap{} X. (transition x y)\}
Date html generated:
2016_05_15-PM-10_11_35
Last ObjectModification:
2015_09_23-AM-08_22_36
Theory : eval!all
Home
Index