Nuprl Definition : closed-rset
closed-rset(A) == ∀y:ℝ. (y ∈ closure(A) ⇒ (A y))
Definitions occuring in Statement :
member-closure: y ∈ closure(A),
real: ℝ,
all: ∀x:A. B[x],
implies: P ⇒ Q,
apply: f a
Definitions occuring in definition :
all: ∀x:A. B[x],
real: ℝ,
implies: P ⇒ Q,
member-closure: y ∈ closure(A),
apply: f a
FDL editor aliases :
closed-rset
closed-rset
Latex:
closed-rset(A) == \mforall{}y:\mBbbR{}. (y \mmember{} closure(A) {}\mRightarrow{} (A y))
Date html generated:
2016_05_18-AM-08_11_01
Last ObjectModification:
2015_09_23-AM-09_04_35
Theory : reals
Home
Index