Template:Individual-TLP-paragraph-en-5.232

5.232 The internal relation which orders a series is equivalent to the operation by which one term arises from another.