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