underapproximate

Etymology

From under- + approximate.

verb

To form an underapproximation of.“This algorithm will always underapproximate the number of possible paths.”