[feature request] Grounding examples for abstract concepts

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.

Start with the textbook introduction where abstract concepts and relations are defined, then review the discussion of symmetric and anti-symmetric properties. Done means adding familiar examples, such as from number theory or geometry, and addressing the suggested symmetry and anti-symmetry visualization without changing the underlying definitions.