Nuprl Definition : Open
Open(X) == X ⟶ Sierpinski
Definitions occuring in Statement :
Sierpinski: Sierpinski,
function: x:A ⟶ B[x]
Definitions occuring in definition :
function: x:A ⟶ B[x],
Sierpinski: Sierpinski
FDL editor aliases :
Open
Latex:
Open(X) == X {}\mrightarrow{} Sierpinski
Date html generated:
2019_10_31-AM-07_18_44
Last ObjectModification:
2015_09_23-AM-09_28_57
Theory : synthetic!topology
Home
Index