You are here: irt.org | FOLDOC | transitive
A relation R is transitive if x R y & y R z => x R z. Equivalence relations, pre-, partial and total orders are all transitive.
Nearby terms: Transistor-Transistor Logic « TRANSIT « transition ad « transitive » transitive closure » transit network » Translation Look-aside Buffer
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL