1. In a set of dominoes, there is one and only one domino with a particular unordered pair of numbers.
  2. Every square on the board above is half of one and only one domino.
  3. The dominoes on the board above are unbroken and none overlap.