fini (ensemble -) [latin : finis, limite] (1) :

Un ensemble non vide E est fini si et seulement si il n'est pas infini, c'est à dire existe si et seulement si il n'existe aucune bijection entre E et le complémentaire d'un singleton dans E.
Par convention, l'ensemble vide est fini.

{a,b,c} est un ensemble fini.