https://123dok.net/document/zkw0og48-sublattices-lattices-order-convex-sets-iii-totally-ordered.html