对合交叉乘积

involutorial crossde product