A set with a relation which satisfies the first three rules for a linearly ordered set is called a partially ordered set. Partially ordered sets are important in many branches of mathematics.