Proximities are reflexive, symmetric, transitive funcoids

I’ve done a little discovery today: Proximities are the same reflexive, symmetric, transitive funcoids.

For now I leave to prove this as an exercise for a reader. But later I am going to include this theorem into the book I am writing.