계속 분류한다
A이면 B이다 B이지만 A는 아닌 예시를 보자
B이면 C이다 C이지만 B는 아닌 예시를 보자
어떤 성질은 morphism에 의해서 불변이다 또는 불변량이다
무한반복