A \emph{reflexive} relation is one that everything bears to itself. (E.g. everything is the SameShape as itself. E.g. of non-reflexive: not everything is LeftOf itself).
A \emph{symmetric} relation is one such that if x bears it to y, then y bears it to x. (E.g. Adjacent(x,y) is symmetric, LeftOf(x,y) is not symmetric.)
