Wiktionary
counterextension
n. 1 (cx surgery English) The fixation of the upper part of a limb, while extension is practiced on the lower part, as in cases of luxation or fracture. 2 (context logic English) The set of tuples of values that, used as arguments, do not satisfy the predicate.