totally-ordered-set public under mathematical-lattice 10 List Picture As a command %3 n0 totally-ordered-set n2 order-chain n0->n2 n1 mathematical-lattice n1->n0