Two objects are history equivalent if they are equal for all n-dimensional time boxes over which they are defined. History equivalence is a binary relation that can be applied to objects of any kind (of the real world or of a database).