⊕ ist kommutativ, da + kommutativ
Betrachte x in [0,1) und 0, dann ist x + 0 = x < 1
also ist x ⊕ 0 = x + 0 = x. Neutrales Element existiert somit
Betrachte x in (0,1), dann ist 1 - x in [0,1) und es ist x + (1-x) = 1 ≥ 1
also ist x ⊕ (1 - x) = x + (1-x) - 1 = 0. Jedes Element ≠ 0 hat somit ein Inverses.
0 ist aber zu sich selbstinvers, denn 0 ⊕ 0 = 0. Also hat jedes Element ein Inverses