involutive algebra