[feature request] Grounding examples for abstract concepts

[kirk86]

It would be beneficial for the reader if there were some examples following the introduction of definitions of abstract concepts grounded in topics that most folks would be familiar with derived for instance from number theory or geometry?

For instance, such examples would benefit and strengthen the introduction and understanding of special properties of relations.

An example would be when reading the symmetric property. A natural question arising is whether x=y? (Before reading below the definition of anti-symmetry)

A nice visualisation to illustrate the notions of symmetry and anti-symmetry is the following

The table describes a symmetric property, while at the same time the diagonal describes and anti-symmetric property.