17.3 동일성의 반사성, 대칭성, 이행성