Словарь логики - отношение транзитивное

двухместное отношение R, оп­ределенное на некотором множестве, характеризующееся тем, что для любых х, у, z этого множества из xRy и yRz следует xRz (xRy &yRz->xRz). Примерами О.т. могут быть: «больше», «мень­ше», «равно», «подобно», «выше», «севернее» и др. Так, если х больше у, а у больше z, то х больше z. .