Ja, die Eigenschaften Reflexivität, Symmetrie und Transitivität folgen selbstverständlich aus der =Definition, aber zu den Gleichheitsaxiomen gehört ja auch noch die Verträglichkeit mit den Prädikaten, bei einer 2-stelligen Relation also etwa in der folgenden Form: