Отношение Транзитивное

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