Solution (source code)

= Solution

A <binary relation> $R$ on $A$ is a <reflexive relation> precisely when \b[$aRa$ for every $a\in A$].