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

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

Необходимость строгого описания простейших отношений возникает в математической логике, кибернетике, математической лингвистике и т.п. Простейшим примерам из математической лингвистики посвящена последняя глава книги. Это и многое другое вы найдете в книге Равенство, сходство, порядок (Ю. А. Шрейдер)