始域の同一性を仮定しない場合、推移律が怪しいケースがある気がします