Nuprl Definition : rat-interval-face

I ≤ J ==  let c,d = J in (I = [c] ∈ ℚInterval) ∨ (I = [d] ∈ ℚInterval) ∨ (I = J ∈ ℚInterval)


Definitions occuring in Statement :  rat-point-interval: [a],  rational-interval: ℚInterval,  or: P ∨ Q,  spread: spread def,  equal: s = t ∈ T
Definitions occuring in definition :  rational-interval: ℚInterval,  equal: s = t ∈ T,  rat-point-interval: [a],  or: P ∨ Q,  spread: spread def
FDL editor aliases :  rat-interval-face rat-interval-face rat-interval-face rat-interval-face
Latex:
I  \mleq{}  J  ==    let  c,d  =  J  in  (I  =  [c])  \mvee{}  (I  =  [d])  \mvee{}  (I  =  J)


Date html generated: 2019_10_29-AM-07_47_03
Last ObjectModification: 2019_10_17-AM-11_14_40

Theory : rationals


Home Index