おっと、反例があったか。
では R の部分集合 X で、任意の 0 でない実数 a が a = b - c, b, c ∈ X として一意にかけるような X はあるか？