underapproximate

Verb

 * 1)  To form an underapproximation of.
 * This algorithm will always underapproximate the number of possible paths.