order theory glossary