Frage zum Quantorengebrauch/Einschränkungen

Ich schaue mir gerade die Definition zu Sichten- bzw. Konfliktäquivalenz an (Beispiel: https://de.wikipedia.org/wiki/Sichtenäquivalenz) und frage mich, dass dort das $a\_1, a\_2 \notin H$ bedeuten soll, beziehungsweise wie es sich einschränkend auf das folgende auswirkt, kann mir da jemand helfen?

Alles klar, im Artikel über Historien werden Abbruchaktionen genannt, die Teil der Historie sein können. $a_1$ wäre also die Aktion Transaktion 1 abzubrechen. Hätten man dort an Ort und Stelle aber auch nochmal erwähnen oder verlinken müssen...