Finite Definition Math