In the first part, we explore definability in the substructure relation. Let U denote either the universal class of irreflexive symmetric digraphs or equivalence relations. We analyze first-order definability in the ordered ...