- the shapes in R are mutually non-congruent
- R is
*complete*in the sense that each shape A in S is congruent to one shape in this subset R.

Of course any such subset R of S contains the same number of shapes.
This number is called the *number of prototiles* of S.