Finite loop

Definition
A loop is termed a finite loop or finite algebra loop if its underlying set is finite, i.e., the order is finite.