It is generally agreed that instants are mathematical constructions, not physical entities. If, therefore, there are instants, they must be classes of events having certain properties. For reasons explained in Our Knowledge of the External World, pp. 116–20, an instant is most naturally defined as a group of events having the following two properties:

(1) Any two members of the group overlap in time, i.e. neither is wholly before the other.