The starting point of this question is the following true statement for graphs:

A simple, undirected graph $G = (V,E)$ is [bipartite](https://en.wikipedia.org/wiki/Bipartite_graph) if and only if for all $E_0\subseteq E$ the graph $(V, E_0)$ is bipartite.

Note that any graph is bipartite if it does not have any odd cycles. Using this, it is not hard to prove the above statement.

Now, a [hypergraph](https://en.wikipedia.org/wiki/Hypergraph) $H=(V,E)$ is *bipartite* if there is $D\subseteq V$ such that whenever $e\in E$ and $|e|> 1$, we have that $D$ intersects $e$, and also $V\setminus D$ intersects $e$.

**Question.** If $H = (V, E)$ is a hypergraph such that for all finite $E_0\subseteq E$ the hypergraph $(V, E_0)$ is bipartite, does it necessarily follow that $H$ itself is bipartite?