A 
design (abbreviated 
-design) is an incidence
structure of points and blocks, where 
, 
,
, and 
are positive integers
with 
, such that the following
hold:
1. There are 
points,
2. Each block contains 
points,
3. Every subset of 
distinct points is contained in exactly 
blocks.
