1: \begin{abstract}

2: We deal with first-order definability in the {\it substructure} ordering $(\mathcal{D}; \sqsubseteq)$ of finite directed graphs. 

3: In two papers, the author has already investigated the first-order language of the {\it embeddability} ordering $( \mathcal{D}; \leq)$. 

4: The latter has turned out to be quite strong, e.g., it has been shown that, modulo edge-reversing (on the whole graphs), it can express the full second-order language of directed graphs. 

5: Now we show that, with finitely many directed graphs added as constants, the first order language of  $( \mathcal{D}; \sqsubseteq)$ can express that of $( \mathcal{D}; \leq)$. 

6: 

7: The limits of the expressive power of such languages are intimately related to the automorphism groups of the orderings. 

8: Previously, analogue investigations have found the concerning automorphism groups to be quite trivial, e.g., the automorphism group of $( \mathcal{D}; \leq)$ is isomorphic to $\mathbb{Z}_2$. 

9: Here, unprecedentedly, this is not the case. 

10: Even though we conjecture that the automorphism group is isomorphic to $(\mathbb{Z}_2^4 \times S_4)\rtimes_{\alpha} \mathbb{Z}_2$, with a particular $\alpha$ in the semidirect product, we only prove it is finite.

11: \end{abstract}