> それなら a, b, c が互いに異なるというのは
> a↑≠b↑≠c↑ じゃないのですか？

違う。