\begin{definition}[Definition:Design]
A '''design''' is an ordered pair $\struct {X, \BB}$ where:
:$X$ is a non-empty finite set of points
:$\BB$ is a multiset of blocks.
Category:Definitions/Design Theory
\end{definition}