Conservative enclosure test ($S\subseteq B_S,T\subseteq B_T,B_S\cap B_T=\varnothing \Rightarrow S\cap T=\varnothing$)

A conservative enclosure test may retain disjoint objects as candidates, but must never reject a true set intersection. Increasing an enclosure can add candidates while preserving this implication.