まずはハレ珍の定義を具体的に決めよう。