Aus dem Bauch heraus würde ich es wie folgt formulieren:
Gilt die Äquivalenzrelation a ~ b, dann besteht Symmetrie, also b ~ a. Und gilt die Äquivalenzrelation a ~b und b ~ c so besteht Transitivität und es folgt, das gilt: a ~ c. Reflexivität, also a ~ a gilt dann ebenfalls. Sind glaub ich alles Axiome zur Abbildung eines empirischen Relativs! (100%ig sicher bin ich mir nicht, ist schon länger her)