A subset of a Poset is a chain if
the Partial Order of restricted to is a Linear order.