We study random relational structures that are relatively exchangeable—that is, whose distributions are invariant under the automorphisms of a reference structure ${M}$. When ${M}$ is ultrahomogeneous and has trivial definable closure, all random structures relatively exchangeable with respect to $m$ satisfy a general Aldous–Hoover-type representation. If ${M}$ also satisfies the n-disjoint amalgamation property (n-DAP) for all $n \ge 1$, then relatively exchangeable structures have a more precise description whereby each component depends locally on ${M}$.

We investigate the partial orderings of the form P(X),⊂〉, where X is a relational structure and P(X) the set of the domains of its isomorphic substructures. A rough classification of countable binary structures corresponding to the forcing-related properties of the posets of their copies is obtained.

We initiate the study of reducts of relational structures up to primitive positive interdefinability: After providing the tools for such a study, we apply these tools in order to obtain a classification of the reducts of the logic of equality. It turns out that there exists a continuum of such reducts. Equivalently, expressed in the language of universal algebra, we classify those locally closed clones over a countable domain which contain all permutations of the domain.