"R=\n\\begin{vmatrix}\n 0 & 0&1&0&0&0 \\\\\n 0&0&0&1&0&0\\\\\n1&0&0&0&1&0\\\\\n0&1&0&0&0&1\\\\\n0&0&1&0&0&0\\\\\n0&0&0&1&0&0\n\\end{vmatrix}"
"\\forall a,b,c :aRb\\land bRc \\implies \\neg (aRc)"
Antitransitive
"\\forall x: \\neg(xRx)"
Antireflexive
"\\forall a,b: aRb\\implies bRa"
Symmetric
Comments
Leave a comment