Can we put "(reflexive)" "(symmetric)" and "(transitive)" for the three properties here (since that's the jargon for each of them).