Ok,
(1) i ≠ j in beiden Bedingungen bedeutet, dass die beiden Kantenindizes verschieden sein sollen
(2) 4 | i-j in der ersten Bedingung fordert, dass die Indexdifferenz durch 4 teilbar sein soll
(3) max(i,j) ≤ 4 in der zweiten Bedingung meint, dass die Kantenindizes höchstens 4 sein sollen
(4) ∪ als Verknüpfung zwischen beiden Bedingungen sagt, dass mindestens eine der beiden Bedingungen erfüllt sein muss.
Zusammenfassung: Die Kantenmenge besteht aus allen Kanten mit verschiedenen Indizes, deren Indexdifferenz durch 4 teilbar ist oder deren Indizes höchstens 4 betragen.
Beispiele:
(1,1), (4,4) nicht drin
(9,5), (3,7) drin
(1,3), (3,4) drin
(5,3) nicht drin
usw.