This can be illustrated with a simple example. Suppose that finitely many physical objects display a linear order. We can describe this by defining a function from those objects to an initial segment of the natural numbers. What is required by the modal structuralist's synthetic determination condition is that the physical ordering among the objects alone captures this function and the description it offers of the objects. It is not claimed that the full natural number structure is thus captured. This example also provides an illustration of the applied mathematical statement mentioned above. The Urelemente (objects that are not sets) are the physical objects in question, the relevant mathematical relation is isomorphism, and the mathematical structure is a segment of natural numbers with their usual linear order.