Орты? Хе! Интересная реализация, я о такой ещё не думал.

- работает. Теперь с противоположными:

. Да, вроде всё на месте. Жаль, что эта штука немасштабируема.
Она же, кстати, реализуется из кватернионных мнимых единиц. Если добавить нормальную, человеческую единицу - станет группой, зато потеряет subj. Вот ведь!
-- менее минуты назад --А нет, нифига не всё на месте. Как только мы множим элемент сам на себя, то нас выкидывают из автобуса.
Нельзя взять автобус с прицепом чисел? Вроде определению множества удовлетворяет.