Let be a set of symbols, then a Howell design on symbol set is an array such that
1. Every cell of is either empty or contains an unordered pair of symbols from ,
2. Every symbol of occurs once in each row and column of , and
3. Every unordered pair of symbols occurs in at most one cell of .