Glossary of Order Theory - E

E

• Extension. For partial orders ≤ and ≤’ on a set X, ≤’ is an extension of ≤ provided that for all elements x and y of X, x ≤ y implies that x ≤’ y.