Finite And Infinite Sets Definition