ABSTRACT
Euler discussed these arrays at length in [31], and gave (essentially) the following definition:
Definition: A Latin square of side (or order) n is an n×n array based on some set S of n symbols (treatments), with the property that every row and every column contains every symbol exactly once. In other words, every row and every column is a permutation of S.
