Synchronous fellow-traveller property
ID: synchronous-fellow-traveller-property
Two paths satisfy the synchronous fellow-traveller property with constant if for all equal times, with completed paths held at their endpoints. Checking integer times suffices up to increasing by at most two for unit-speed edge paths. A synchronous combing of a group requires a uniform constant for all adjacent endpoints.
New to topics? Read the docs here!