Equatableは反射律を満たしていたらOKなんですか？推移律は不要？