An D548: Ordered pair $G_X = (X, \mathcal{E}_X)$ is a supergraph of $G_E$ if and only if
(1) | $E \subseteq X$ (D78: Subset) |
(2) | $\mathcal{E}_E \subseteq \mathcal{E}_X$ (D78: Subset) |
(1) | $E \subseteq X$ (D78: Subset) |
(2) | $\mathcal{E}_E \subseteq \mathcal{E}_X$ (D78: Subset) |