Loop of prime order

Definition
A loop of prime order is defined as an algebra loop whose order is a defining ingredient::prime number.