質問: 剰余類についてです。 下の問題がよく分からないので、教えてください。
回答: 右下の5は省略。 well-defined なら [1] = [6] だから [1] * [2] = [6] * [2] でなければならないが、 [1] * [2] = [max(1, 2)] = [2], [6] * [2] = [max(6, 2)] = [6], [2] ≠ [6] だから well-defined ではない。