  We study various aspects of the first-order transduction quasi-order, which
provides a way of measuring the relative complexity of classes of structures
based on whether one can encode the other using a formula of first-order (FO)
logic. In contrast with the conjectured simplicity of the transduction
quasi-order for monadic second-order logic, the FO-transduction quasi-order is
very complex; in particular, we prove that the quotient partial order is not a
lattice, although it is a bounded distributive join-semilattice, as is the
subposet of additive classes. Many standard properties from structural graph
theory and model theory naturally appear in this quasi-order. For example, we
characterize transductions of paths, cubic graphs, and cubic trees in terms of
bandwidth, bounded degree, and treewidth. We establish that the classes of all
graphs with pathwidth at most~$k$, for $k\geq 1$, form a strict hierarchy in
the FO-transduction quasi-order and leave open whether same is true for
treewidth. This leads to considering whether properties admit maximum or
minimum classes in this quasi-order. We prove that many properties do not admit
a maximum class, and that star forests are the minimum class that is not a
transduction of a class with bounded degree, which can be seen as an instance
of transduction duality. We close with a notion of dense analogues of sparse
classes, and discuss several related conjectures. As a ubiquitous tool in our
results, we prove a normal form for FO-transductions that manifests the
locality of FO logic. This is among several other technical results about
FO-transductions which we anticipate being broadly useful.
