Order theory

Order theory is a branch of mathematical logic and discrete mathematics dealing with the concepts of order and arrangement. It studies various types of ordered structures and how they relate to one another.