Nuprl Definition : continuous-monotone
ContinuousMonotone(T.F[T]) == Monotone(T.F[T]) ∧ Continuous(T.F[T])
Definitions occuring in Statement :
type-monotone: Monotone(T.F[T]),
type-continuous: Continuous(T.F[T]),
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
type-monotone: Monotone(T.F[T]),
type-continuous: Continuous(T.F[T])
FDL editor aliases :
cont-mon
Latex:
ContinuousMonotone(T.F[T]) == Monotone(T.F[T]) \mwedge{} Continuous(T.F[T])
Date html generated:
2016_05_13-PM-04_09_40
Last ObjectModification:
2015_09_22-PM-05_45_55
Theory : subtype_1
Home
Index