Nuprl Definition : funclosed-set
f-closed(s) == ∀x:Set{i:l}. ((x ⊆ s) ⇒ (f x ⊆ s))
Definitions occuring in Statement :
setsubset: (a ⊆ b),
Set: Set{i:l},
all: ∀x:A. B[x],
implies: P ⇒ Q,
apply: f a
Definitions occuring in definition :
apply: f a,
setsubset: (a ⊆ b),
implies: P ⇒ Q,
Set: Set{i:l},
all: ∀x:A. B[x]
FDL editor aliases :
funclosed-set
Latex:
f-closed(s) == \mforall{}x:Set\{i:l\}. ((x \msubseteq{} s) {}\mRightarrow{} (f x \msubseteq{} s))
Date html generated:
2018_05_29-PM-01_54_57
Last ObjectModification:
2018_05_25-AM-08_46_09
Theory : constructive!set!theory
Home
Index