a이면 b이다 하지만 b이면 a가 아니다(반례 있음)
이거랑 이거는 isomorphic이다

무한반복