n. axioms of order [[순서]]: order [[공리]]: axiom