Definition, synonyms and related words
Of an input-output pair, to incur a proper subset of constraint violations of a different input-output pair.