Definition:Finite Set