R8

R8 / 1:Mc

Road driving side is established by one Traffic Territory

Traffic Territory establishes driving side of zero, one or many Road

---

You may or may not know what Road you are driving on, but you must always know which Traffic Territory you are in so that you know which side of the Road to drive on. Keep in mind that you can always observe oncoming traffic if you aren’t sure, take into account the rough estimate of where you are in the world and make a good guess as to which Traffic Territory you must be in, so this is not an unreasonable requirement. Therefore, the Traffic Territory is presumed to always be known.

A given Traffic Territory certainly establishes the driving side of all Roads it contains. There has to be at least one or it breaks the definition of being a Traffic Territory.

Formalization

Road.(Traffic territory, Country) -> Traffic Territory.(Name, Country)