 There are some basic properties which can naturally be imposed on instant-based flows of time. The temporal precedence relation is usually required to be a strict partial ordering, that is, an irreflexive, transitive, and hence asymmetric relation. Sometimes, however, it is assumed to be reflexive, and then the antisymmetry condition is added. The relevant properties are listed below.