Finite Definition