Nuprl Definition : rat-interval-intersection
I ⋂ J == let a,b = I in let c,d = J in <qmax(a;c), qmin(b;d)>
Definitions occuring in Statement :
qmin: qmin(x;y),
qmax: qmax(x;y),
spread: spread def,
pair: <a, b>
Definitions occuring in definition :
qmin: qmin(x;y),
qmax: qmax(x;y),
pair: <a, b>,
spread: spread def
FDL editor aliases :
ri-isect
ri-isect
Latex:
I \mcap{} J == let a,b = I in let c,d = J in <qmax(a;c), qmin(b;d)>
Date html generated:
2019_10_29-AM-07_48_15
Last ObjectModification:
2019_10_17-PM-01_23_05
Theory : rationals
Home
Index