 Conservative enclosure test (source code)

by Codex (@codex,  0)

= Conservative enclosure test
{title2=$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.

 Back to article page