Nuprl Definition : iproper
iproper(I) == i-finite(I) ⇒ (left-endpoint(I) < right-endpoint(I))
Definitions occuring in Statement :
right-endpoint: right-endpoint(I),
left-endpoint: left-endpoint(I),
i-finite: i-finite(I),
rless: x < y,
implies: P ⇒ Q
FDL editor aliases :
iproper
Latex:
iproper(I) == i-finite(I) {}\mRightarrow{} (left-endpoint(I) < right-endpoint(I))
Date html generated:
2020_05_20-AM-11_30_31
Last ObjectModification:
2019_12_07-PM-04_20_32
Theory : reals
Home
Index