Nuprl Definition : continuous'-monotone
continuous'-monotone{i:l}(T.F[T]) == Monotone(T.F[T]) ∧ semi-continuous(λT.F[T])
Definitions occuring in Statement :
type-continuous': semi-continuous(λT.F[T]),
type-monotone: Monotone(T.F[T]),
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
type-monotone: Monotone(T.F[T]),
type-continuous': semi-continuous(λT.F[T])
FDL editor aliases :
continuous'-monotone
Latex:
continuous'-monotone\{i:l\}(T.F[T]) == Monotone(T.F[T]) \mwedge{} semi-continuous(\mlambda{}T.F[T])
Date html generated:
2016_05_15-PM-06_52_44
Last ObjectModification:
2015_09_23-AM-08_07_23
Theory : general
Home
Index