Summary: For a nonempty finite set \(V\) let \(3^V\) be the set of all the ordered pairs of disjoint subsets of \(V\), i.e., \(3^V= \{(X, Y)\mid X,Y\subseteq V\) and \(X\cap Y= \varnothing\}\). We define two operations, reduced union \(\sqcup\) and intersection \(\sqcap\), on \(3^V\) as follows: for each \((X_i, Y_i)\in 3^V\) \((i= 1,2)\), \[ \begin{aligned} (X_1, Y_1)\sqcup (X_2, Y_2) &= ((X_1\cup X_2)- (Y_1\cup Y_2),(Y_1\cup Y_2)- (X_1\cup X_2)),\\ (X_1, Y_1)\sqcap (X_2, Y_2) &= (X_1\cap X_2, Y_1\cap Y_2).\end{aligned} \] Also, for a \(\{\sqcup, \sqcap\}\)-closed family \({\mathcal F}\subseteq 3^V\) a function \(f:{\mathcal F}\to\mathbb{R}\) is called bisubmodular if for each \((X_i, Y_i)\in {\mathcal F}\) \((i= 1,2)\) we have \[ f(X_1,Y_1)+ f(X_2,Y_2)\geq f((X_1, Y_1)\sqcup (X_2,Y_2))+ f((X_1, Y_1)\sqcap (X_2, Y_2)). \] For a \(\{\sqcap, \sqcup\}\)-closed family \({\mathcal F}\subseteq 3^V\) with \((\varnothing,\varnothing)\in{\mathcal F}\) and a so-called bisubmodular function \(f:{\mathcal F}\to \mathbb{R}\) on \({\mathcal F}\) with \(f(\varnothing,\varnothing)= 0\), the pair \(({\mathcal F},f)\) is called a bisubmodular system on \(V\).
We consider two classes of bisubmodular systems which are closely related to base polyhedra. The first one is the class of balanced bisubmodular systems. We give a characterization of balanced bisubmodular systems and show that their associated polyhedra are the convex hulls of reflections of base polyhedra. The second one is that of cut functions of bidirected networks. It is shown that the polyhedron determined by the cut function of a bidirected network is the set of the boundaries of flows in the bidirected network and is a projection of a section of a base polyhedron of boundaries of an associated ordinary network.