The Lattice of Relations between Multiple Squares

In the book Conceptual Exploration by Ganter and Obiedkov (2016), Section 4.2.2 gives the example of exploring the different ways of arranging two squares in two dimensions. Later, in Section 6.1.1, the authors also consider part of the problem for the case of three squares. In this mostly theoretical project or thesis, we want to consider the complete case of three squares and, if possible, compute the lattice for the general four square setting.

Inquiries: Tobias Hille