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.
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.