В книге рассказывается о том, как можно формально описать свойства хорошо знакомых всем отношений, указанных в заглавии.

На этом примере выясняется, как происходит переход от привычных, но неточных понятий к строгим математическим определениям.

Необходимость строгого описания простейших отношений возникает в математической логике, кибернетике, математической лингвистике и т.п. Простейшими примерам из математической лингвистики посвящена последняя глава книги.