公式は示されるもの、公理や定義は与えられるものなので全然違いますね

「順序違いはバツ」を「公式」化するなら、何らかの方法で示さないとなりませんね