일본을 싫어하는 사람을 싫어하는 사람을 싫어할 자유도 있다. 그리고,
일본을 싫어하는 사람을 싫어하는 사람을 싫어하는 사람을 싫어할 자유도 있다. 그리고,
.
.
.
.
일본을 (싫어하는 사람)^n을 싫어할 자유도 있다. 여기서,
일본을 싫어하는 사람을 싫어하는 사람을 싫어하는 사람 = 일본을 싫어하는 사람이라 할때,
(싫어하는 사람)^2 = 싫어하는 사람이라는 사실을 알 수 있다.
즉 "싫어하는 사람"이란 Idempotent하다.