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

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

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

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

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

думаю тут нужно взять

1 отношению

1 отношению , но

не

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

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

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