Let $H=(V,E)$ be a hypergraph, where $V\neq \emptyset$ is a set, and $E\subseteq {\cal P}(V)$. We say that $H$ is *connected* if whenever $S\subseteq V$ with $\emptyset \neq S \neq V$, there is $e\in E$ with $$e\cap S \neq \emptyset \neq e\cap (V\setminus S).$$
It is easily verified that any graph (finite or infinite) is connected if and only if the condition above is met.


For any connected graph, we can reduce the edge set such that the resulting graph is minimally connected: the [spanning tree](https://en.wikipedia.org/wiki/Spanning_tree). This prompts the question whether the same holds for hypergraphs:


**Question.** If $H=(V,E)$ is a connected hypergraph, is there $E\_0\subseteq E$ with the following properties?


1. $(V,E\_0)$ is connected, and
2. for $E\_0'\subseteq E\_0$ with $E\_0'\neq E\_0$ we have that $(V,E\_0')$ is not connected.



Minimally connected hypergraphs
No. Let $V=E=\omega$ (so $E$ consists of all the initial segments of $\omega$). A subgraph $(V,E\_0)$ is connected iff $E\_0$ is infinite, so there is no minimal connected subgraph.


