Given graphs $G$ and $H$ and vertex $v$ of $H$, the graph $G\otimes_v H$ is the graph obtained by replacing the vertex $v$ in $G$ by a copy of $H$. The vertices in the copy of $H$ are connected to the other vertices of $G$ in the same way as $v$ was connected to these vertices. $G\otimes_v H$ is obtained by substitution of $H$ for $v$.

Call a class $\mathcal C$ of finite graphs closed if it is closed under isomorphism, induced subgraphs and substitution.

The following classes of finite graphs are closed:

Empty class, class of singletons, class of complete graphs, class of graphs without edges, class of graphs without induced paths of length 4 ($P_4$-free graphs), class of perfect graphs, class of all finite graphs.

The closed classes form a complete lattice with respect to set-theoretic inclusion. The empty class is the smallest, the smallest above that are the singletons, minimal above the singletons are empty and complete graphs, minimal above these two incomparable classes is the class of $P_4$-free graphs. On top is the class of all finite graphs. Also, this lattice has antichains of the maximal possible size $2^{\aleph_0}$. All chains are countable since we are effectively working with subsets of a fixed countable set, the set of all finite graphs whose vertices are natural numbers.

Has this lattice been studied systematically? Are there any structural results known apart from the easy ones mentioned above? What if we modify our notion of closed class to include closure under complementation? In the list of examples above, this would only get rid of the classes of complete and of empty graphs.