In detail, a relation $R$ on $A$ is reflexive if we have an inclusion
\[ \eta _{R}\colon \chi _{A}\subset R \]
of relations in $\mathbf{Rel}\webleft (A,A\webright )$, i.e. if, for each $a\in A$, we have $a\sim _{R}a$.
Here's a breakdown of the differences between each PDF style:
| Style | Class | Font | Theorem Environments |
|---|---|---|---|
| Style 1 | book |
Alegreya Sans | tcbthm |
| Style 2 | book |
Alegreya Sans | amsthm |
| Style 3 | book |
Arno* | amsthm |
| Style 4 | book |
Computer Modern | amsthm |
*To be replaced with Linus Romer's Elemaints when it is released.
In detail, a relation $R$ on $A$ is reflexive if we have an inclusion
of relations in $\mathbf{Rel}\webleft (A,A\webright )$, i.e. if, for each $a\in A$, we have $a\sim _{R}a$.
