同値関係というのはオブジェクトの性質として基本的なものですが、同時に意外と厳密な定義の難しいものでもあると思います。最近 Python を扱っていて 同値性を定義する __eq__ であったり オブジェクトのhash値を計算する __hash__ であったりの実装で悩むところがあったので、少しそのうまい定義の仕方...