INTERVAL

The interval allows defining intervals of instances of a given type. For the type of referenced instances an order relation must be implemented, which defines a '>', '=' or '