ein Gebilde Q_n, das sich mit Hilfe des kartesischen Produktes von Graphen rekursiv aus dem vollständigen Graphen K₂ wie folgt definieren läßt.

Es sei Q₁ = K₂ und Q_n = Q_n−1 × K₂ für eine natürliche Zahl n ≥ 2.

Damit ergibt sich \begin{eqnarray}|E({Q}_{n})|={2}^{n}\quad \text{und}\quad |K({Q}_{n})|=n{2}^{n-1}.\end{eqnarray}

Da das kartesische Produkt von bipartiten Graphen einen bipartiten Graphen ergibt, ist auch der Hyperwürfel bipartit.