Combinatorial design theory studies the existence, construction, and structure of finite sets such as subsets, arrays, and graphs, that satisfy constraints. Leonard Euler investigated pairs of orthogonal Latin squares in the 18th century, and design theory’s origin predates this with