Nuprl Definition : i-closed
i-closed(I) == let l,u = I in (↑((¬bisl(l)) ∨bisl(outl(l)))) ∧ (↑((¬bisl(u)) ∨bisl(outl(u))))
Definitions occuring in Statement :
bor: p ∨bq,
outl: outl(x),
bnot: ¬bb,
assert: ↑b,
isl: isl(x),
and: P ∧ Q,
spread: spread def
Definitions occuring in definition :
spread: spread def,
and: P ∧ Q,
assert: ↑b,
bor: p ∨bq,
bnot: ¬bb,
isl: isl(x),
outl: outl(x)
FDL editor aliases :
i-closed
i-closed
Latex:
i-closed(I) == let l,u = I in (\muparrow{}((\mneg{}\msubb{}isl(l)) \mvee{}\msubb{}isl(outl(l)))) \mwedge{} (\muparrow{}((\mneg{}\msubb{}isl(u)) \mvee{}\msubb{}isl(outl(u))))
Date html generated:
2016_05_18-AM-08_18_39
Last ObjectModification:
2015_09_23-AM-09_05_44
Theory : reals
Home
Index