= Solution A <binary relation> $R$ on $A$ is a <reflexive relation> precisely when \b[$aRa$ for every $a\in A$].
Back to article page