A Latin square is an n x n array filled with n different symbols, each occurring exactly once in each row and each column, used primarily in experimental design and combinatorics. It is a fundamental structure in statistical design of experiments, particularly useful for controlling variation in two directions and ensuring that each treatment appears exactly once per row and column.