Finite Set Definition