Useful property against a circuit class
= Useful property against a circuit class
A property is useful against a circuit class when it contains functions at infinitely many input lengths but eventually excludes every function family computed by circuits of the target size in that class.