Ordered sets

Ordered sets are reducible and appendable.