Да, верно. Если отношение представлено неориентированным графом без петель, то это означает, что если вершина i соединена с вершиной j, то и вершина j соединена с вершиной i. Таким образом, отношение будет симметричным.