FINITO

Definition of FINITO