Börsenzeit
Die Börsenzeit ist jener Zeitraum, in dem für die Handelsteilnehmer Zugriff auf das Handelssystem besteht. Die Börsenzeit umfaßt die Handelszeit und den sogenannten Vor- und Nachhandel (zur Eingabe, Änderung beziehungsweise Löschung von Aufträgen).