Definition
Sound Rejection Test
A sound rejection test for a predicate
on a set is a sound algorithm satisfying
Every rejected instance therefore violates
. The test may return for an instance that violates ; soundness excludes false rejection, not inconclusive results.