对称关系

在关系 上，集合 是对称的，当且仅当对于每个 和 在 中，我们有 当且仅当 。在 个节点上的对称关系与 根图 在 个节点上是同构的。