Symmetric Relation

Tags

math

A property of a relation where if one variable relates to another \( a R b \) then the other variable [see page 20, must] relate to the original \( b R a \). That is to say \[ \forall a \in A, b \in B ((a R b) \implies (b R a)) \]