Chain in a partially ordered set (source code)

= Chain in a partially ordered set

A chain in a <partially ordered set> is a subset in which every two elements are comparable.

The order induced on this subset is a <total order>.