Condition is a principal part of a "problem to find"
See PROBLEMS TO FIND, PROBLEMS TO PROVE, 3.
See also TERMS, NEW AND OLD,2.
    A condition is called redundant if it contains
superfluous parts.  It is called contradictory if its parts are 
mutually opposed and inconsistent so that there is no
object satisfying the condition  Thus, if a condition
is expressed by more linear equations than there are 
unknowns, it is either redundant or contradictory; 
if the condition is expressed by fewer equations than
there are unknowns, it is insufficient to determine 
the unknowns; if the condition is expressed by 
just as many equations as there are unknowns it is 
usually just sufficient to determine the unknowns but
may be in exceptional cases, contradictory or insufficient.