Nuprl Definition : in-open
x ∈ A == (A x) = ⊤ ∈ Sierpinski
Definitions occuring in Statement :
Sierpinski: Sierpinski,
Sierpinski-top: ⊤,
apply: f a,
equal: s = t ∈ T
Definitions occuring in definition :
equal: s = t ∈ T,
Sierpinski: Sierpinski,
apply: f a,
Sierpinski-top: ⊤
FDL editor aliases :
in-open
Latex:
x \mmember{} A == (A x) = \mtop{}
Date html generated:
2019_10_31-AM-07_18_56
Last ObjectModification:
2015_09_23-AM-09_28_59
Theory : synthetic!topology
Home
Index