[a,b] := \bigcap_{\overline{a}<a~ i ~\overline{b}>b} {<\overline{a},\overline{b}>}