컴공누나
선행 대수 정의