Reflexive Relation

Given a set $A$, an operator $\sim :A\text{texttimes}A\to \mathrm{Prop}$, Say $\sim$ is symmetric iff $\forall x:A.x\sim x$.