symmetric relation

A binary relation R on a set A is reflexive if for all a, b \in A, aRb implies bRa.

R is antisymmetric, not symmetric, if there exists a,b \in A for which aRb but a\cancel{R}b.

« Back to Glossary Index

Leave a Reply