(0,1)-category

(0,1)-topos

# Contents

## In the sense of order theory

An order on a set $S$ is (usually) a binary relation that is, at the very least, transitive.

Actually, there are several different notions of order that are each useful in their own ways:

The closely related notion of a cyclic order is not actually a binary relation but a ternary relation.

The study of orders is order theory.

## Other meanings

A mostly unrelated notion from group theory is the cardinality of the underlying set of a group, especially when this is finite. Sometimes one thinks of an infinite group as having order zero. The orders then have the natural order relation of divisibility?.

The term ‘order’ can also be used fairly generically as a synonym of ‘degree’ or ‘rank’, as in first-order logic, the order of a differential equation, etc. Of course, these various orders form a well-order, so this is not entirely unrelated either.

Revised on October 17, 2012 12:51:20 by Urs Schreiber (82.169.65.155)