二項関係
X の各元 x, y について、x R y ならば y R x となるような関係は対称であるという。
「血縁である」という関係は対称関係である。実際、x が y の血縁であるための必要十分条件は y が x の血縁であることである。
R ≔ (R);
R を含む最小の前順序(擬順序; preorder)。