Asymmetric Relation

Tags

math

A property of a relation where any variable \( x \) that's related to another variable \( y \) implies that \( y \) is [see page 20, not] related back to \( x \) in the same way. \[ \forall a \in A, b \in B (a R b) \implies \neg (b R A) \]