Тагже, если из множества всех возможных байтов сформировать группоид с оперцией XOR, то можно сказать что в нем есть нейтральный элемент и для каждого ненулевого элемента существует ему обратный (впринципе равный же ему). В соответствии с этим, можно сделать заключение, что построенный группоид является группой. Учитывая, что операция коммутативна, ожно сказать большее, что это множество будет являться аббелевой группой.
А если еще добавить операцию AND (побитовое "И") в качестве операции умножения, то множество целых чисел из диапазона 0..255 можно назвать еще и кольцом относительно операций XOR как сложения и AND как умножения :-)