The strong fixed point property for small sets (Q1182038)

A partially ordered set \(P\) has the strong fixed-point property if \(P\) has the fixed-point property and if there is a monotone selection of fixed points of the order-preserving mappings from \(P\) to \(P\). The authors give an algorithm generating fixed points of the order-preserving mappings of all partially ordered sets containing 10 elements or less, which shows that every such ordered set actually has the strong fixed- point property.