5˙005341
Die interne Relation, die, die Reihe ordnet ist äquivalent mit der Operation durch die ein Glied aus dem anderen folgt || entsteht.