Bound Must Be Finite Definition