Tasa-arvo kolmanteen
Matematiikassa joukon binäärirelaatiolla on ominaisuus yhtäläisyydessä kolmannen kanssa, jos joukon mille tahansa kolmelle elementille suhteiden täyttyminen ja edellyttää suhteen täyttymistä .
Muodollisesti suhteella on ominaisuus olla yhtä suuri kuin kolmas jos .
Jos relaatio on symmetrinen , niin tasa-kolmas-ominaisuus on sama kuin transitiivisuus .
Esimerkki
Kaikilla transitiivisilla ja symmetrisillä suhteilla on tämä ominaisuus.