## 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.

Last updated: 2001-10-01

Loading

(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.

Last updated: 2001-10-01

Loading

Updated: Thu Aug 17 22:54:30 2017

24091 terms

No longer supported by Imperial College Department of Computing

Tweet