A note on the extension of an order on a set to the power set · Study