Vertex Cover
# Definition
Let $G$ be an Undirected Graph. A Vertex Cover $C \subset V(G)$ is a Set s.t. ${e \in E(G) : e \cap C \neq \emptyset} = E(G)$.
# Remarks
- If $E(G)$ is a Finite Set, then the definition holds If and Only If $|{e \in E(G) : e \cap C \neq \emptyset}| = |E(G)|$.