일본을 싫어하는 사람을 싫어하는 사람을 싫어할 자유도 있다. 그리고,

일본을 싫어하는 사람을 싫어하는 사람을 싫어하는 사람을 싫어할 자유도 있다. 그리고,

.

.

.

.

일본을 (싫어하는 사람)^n을 싫어할 자유도 있다. 여기서,

 

일본을 싫어하는 사람을 싫어하는 사람을 싫어하는 사람 = 일본을 싫어하는 사람이라 할때,

 

(싫어하는 사람)^2 = 싫어하는 사람이라는 사실을 알 수 있다.

 

즉 "싫어하는 사람"이란 Idempotent하다.