Finite Set Definition Math