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