You are here: irt.org | FOLDOC | pre-order
<theory>
1. traversal.
2. A relation R is a pre-order if it is reflexive (x R x) and transitive (x R y R z => x R z). If it is also antisymmetric (x R y R x => x = y) then it is a partial ordering.
(2001-10-01)
Nearby terms: prefix « prefix notation « prefix syntax « pre-order » pre-order traversal » PREP » prepaging
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