involution of algebraic correspondence