무한집합 에서 무한집합으로 가는 함수를
치환군으로 보고

미분을 연산으로 가지는 대수체계도 있을까