> [!NOTE] **Definition** (Symmetric binary relation) > A [[Binary Relation|binary relation]] $R$ is **symmetric** iff $\forall x \forall y (R(x,y) \to R(y,x))$