для 1 отношения : рефлексивно, так как 

симметрично : т.к  для произвольно взятых двух чисел  из выполнимости равенства 

 , выполняется равенство 

Это верно.
Цитата:
нетранзитивно: Так как из того что  для любых трех чисел   

 , не следует что 

  думаю тут нужно взять 
 
 
 1 отношению 
 
 
 1 отношению , но 

 не 

 1 отношению
 Таким образом контрпример не построить. Если первая пара 

, то вторая должна начинаться с 

, и контрпример не получится.
Если контрпример существует, то в первой (и во второй) паре, очевидно, должны быть разные элементы.