From 5945937ffdf602d48cd2acd6452f081146b5dcc3 Mon Sep 17 00:00:00 2001 From: David Robertson Date: Tue, 14 Jun 2022 18:11:10 +0100 Subject: [PATCH] Another "position in the mainline" -> "mainline position" Co-authored-by: Richard van der Hoff <1389908+richvdh@users.noreply.github.com> --- content/rooms/fragments/v2-state-res.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/rooms/fragments/v2-state-res.md b/content/rooms/fragments/v2-state-res.md index f43b0a9e..b9e131f9 100644 --- a/content/rooms/fragments/v2-state-res.md +++ b/content/rooms/fragments/v2-state-res.md @@ -107,7 +107,7 @@ Now compare these two lists as follows. * If such a *j* exists, then *ej* = *Pi* for some unique index *i* ≥ 0. Otherwise set *i* = ∞, where ∞ is a sentinel value greater than any integer. -* In both cases, the *position of e in the mainline of P* is *i*. +* In both cases, the *mainline position* of *e* is *i*. The *mainline ordering based on* *P* of a set of events is the ordering, from smallest to largest, using the following comparison relation on