Nuprl Definition : ss-open
Open(X) == ss-basic(X) ⟶ ℙ
Definitions occuring in Statement :
ss-basic: ss-basic(X),
prop: ℙ,
function: x:A ⟶ B[x]
Definitions occuring in definition :
function: x:A ⟶ B[x],
ss-basic: ss-basic(X),
prop: ℙ
FDL editor aliases :
ss-open
Latex:
Open(X) == ss-basic(X) {}\mrightarrow{} \mBbbP{}
Date html generated:
2020_05_20-PM-01_21_56
Last ObjectModification:
2018_07_06-PM-01_50_58
Theory : intuitionistic!topology
Home
Index