うろ覚えだけど、順序集合か何かの公理で 3 つの式 (1), (2), (3) のうち (1) が (2), (3) から導出できることがあった気がする

形式言語とオートマトンの教科書で見たな

そんなところに順序集合出てきたかしら