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