대합(involution)과 유사대합(quasi-involution)에 대하여
실함수 가 주어졌다고 하자. 만약 임의의 에 대하여 가 성립하면, 함수 를 대합(involution)이라 정의한다. 즉, 대합이란 자기 자신을 역함수로 가지는 함수를 뜻한다. 항등함수 는 자명하게 대합이다. 또한 임의의 실수 에 대하여, , 와 같이 정의된 함수들은 모두 대합임을 알 수 있다. \[ f(f(x)) = f(c-x) = c-(c-x) = x, \qquad g(g(x)) = g(\tfrac{c}{x}) = \frac{c}{\tfrac{c}..