Nuprl Definition : real-continuity-principle
real-continuity-principle() == ∀I:Interval. ∀f:I ⟶ℝ. f[x] continuous for x ∈ I
Definitions occuring in Statement :
continuous: f[x] continuous for x ∈ I,
rfun: I ⟶ℝ,
interval: Interval,
so_apply: x[s],
all: ∀x:A. B[x]
Definitions occuring in definition :
interval: Interval,
all: ∀x:A. B[x],
rfun: I ⟶ℝ,
continuous: f[x] continuous for x ∈ I,
so_apply: x[s]
FDL editor aliases :
real-continuity-principle
Latex:
real-continuity-principle() == \mforall{}I:Interval. \mforall{}f:I {}\mrightarrow{}\mBbbR{}. f[x] continuous for x \mmember{} I
Date html generated:
2016_05_18-AM-10_51_47
Last ObjectModification:
2015_09_23-AM-09_17_33
Theory : reals
Home
Index