This is an old revision of the document!
Bipartite complete graph
Set
$\langle V,E,\psi\rangle \in \mathrm{it}(E,V) $ |
$\langle V,E,\psi\rangle $ … undirected graph |
$ X\cap Y=\emptyset $ |
$ x\in X $ |
$ y\in Y $ |
$\exists X,Y.\ (\forall u,v.\ \{u,v\}\in\mathrm{im}(\psi)\implies (u\in X\land v\in Y)\lor (v\in X\land u\in Y)) \land (\forall x,y.\ \{x,y\}\in\mathrm{im}\ \psi) $ |
Discussion
Let $G$ be a bipartite complete graph with parts $X$ and $Y$. Then $G$ is bipartite complete if each $x\in X$ connects to each $y\in Y$.
Parents
Subset of