Где можно посмотреть описание правил транзитивности

Правила транзитивности для методов equals() и hashCode() описаны в JavaDoc класса Object и в спецификации Java (JLS). Основные требования:

1. Рефлексивность: x.equals(x) → true
2. Симметричность: x.equals(y) ↔ y.equals(x)
3. Транзитивность: если x.equals(y) и y.equals(z), то x.equals(z)
4. Согласованность: повторные вызовы дают тот же результат
5. Неравенство с null: x.equals(null) → false

Пример нарушения транзитивности:

class Point {
    int x, y;
    // equals сравнивает только x и y
}

class ColorPoint extends Point {
    Color color;
    // если equals учитывает color, нарушается транзитивность
}