久しぶりの日記は、一筆書きを「数学」してみます。 ある種の同値関係 空集合ではない集合 V に対し、 上の同値関係を と定義します。これは同値関係になります。ところでこれは一体どういった同値関係なのでしょうか。 の同値類は です。実際 とすると、 で…