whatever is later than something'; 'instant' may be defined as 'maximal class events no one of which is later than any other event of the class'; 'time' may be defined as 'the class of all instants'; and so on.